Paul A. J. Tilanus

Publication Activity (10 Years)

Years Active: 1987-1994
Publications (10 Years): 0

Publications

Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus
G-LOTOS: A Graphical Language for Concurrent Systems. Comput. Networks ISDN Syst. 26 (9) (1994)
Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg
LOTOS Extended with Clocks. FORTE (1989)
Paul A. J. Tilanus, Yan Yang
Experience with LOTOS and Environment LOTTE on an ISDN Protocol. Specification and Verification of Concurrent Systems (1988)
Roberto Saracco, Paul A. J. Tilanus
CCITT SDL: Overview of the Language and its Applications. Comput. Networks 13 (1987)