Mathematical foundations of computer science 1993. 18th international symposium, MFCS '93, Gdańsk, Poland, August/September 1993. Proceedings

zbMath0825.00085MaRDI QIDQ1309033

No author found.

Publication date: 24 November 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ProceedingsSymposiumMathematical foundationsComputer science 1993Gdańsk (Poland)MFCS '93

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (4)

Branching bisimilarity is an equivalence indeed! ⋮ Nonaxiomatisability of equivalences over finite state processes ⋮ Models for concurrency: Towards a classification ⋮ Resource traces: A domain for processes sharing exclusive resources.

This page was built for publication: Mathematical foundations of computer science 1993. 18th international symposium, MFCS '93, Gdańsk, Poland, August/September 1993. Proceedings