The following pages link to (Q3998342):
Displaying 2 items.
- Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings (Q1188804) (← links)
- Mathematical foundations of programming semantics. 5th international conference, New Orleans, Louisiana, USA, March 29 -- April 1, 1989. Proceedings (Q1188840) (← links)