Paul A. J. Tilanus

According to our database, Paul A. J. Tilanus authored at least 4 papers between 1987 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1994

G-LOTOS: A Graphical Language for Concurrent Systems.

Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus

Comput. Networks ISDN Syst., 1994

1989

LOTOS Extended with Clocks.

Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg

Proceedings of the Formal Description Techniques, 1989

1988

Experience with LOTOS and Environment LOTTE on an ISDN Protocol.

Paul A. J. Tilanus, Yan Yang

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1987

CCITT SDL: Overview of the Language and its Applications.

Roberto Saracco, Paul A. J. Tilanus

Comput. Networks, 1987