Bas van Vlijmen

According to our database, Bas van Vlijmen authored at least 3 papers between 1997 and 2000.

Collaborative distances:

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

2000

LARIS 1.0 - LAnguage for Railway Interlooking Specifications.

Wan J. Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen

CWI, ISBN: 978-90-6196-489-6, 2000

1998

EURIS, a Specification Method for Distributed Interlockings.

Fokko van Dijk, Wan J. Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen

Proceedings of the Computer Safety, 1998

1997

Algebra of Communicating Processes - Preface to the Special Issue.

Alban Ponse, Chris Verhoef, Bas van Vlijmen

Theor. Comput. Sci., 1997