1994 | ||
---|---|---|
4 | Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus: G-LOTOS: A Graphical Language for Concurrent Systems. Computer Networks and ISDN Systems 26(9): 1101-1127 (1994) | |
1989 | ||
3 | Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg: LOTOS Extended with Clocks. FORTE 1989: 179-193 | |
1988 | ||
2 | Paul A. J. Tilanus, Yan Yang: Experience with LOTOS and Environment LOTTE on an ISDN Protocol. Specification and Verification of Concurrent Systems 1988: 486-499 | |
1987 | ||
1 | Roberto Saracco, Paul A. J. Tilanus: CCITT SDL: Overview of the Language and its Applications. Computer Networks 13: 65-74 (1987) |
1 | Tommaso Bolognesi | [4] |
2 | Wilfried H. P. van Hulzen | [3] |
3 | Elie Najm | [4] |
4 | Roberto Saracco | [1] |
5 | Yan Yang | [2] |
6 | Han Zuidweg | [3] |