Process algebra with propositional signals

Authors	J.C.M. Baeten J.A. Bergstra
Publication date	1997
Journal	Theoretical Computer Science
Volume | Issue number	177 | 2
Pages (from-to)	381-405
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Article
Published at	https://doi.org/10.1016/S0304-3975(96)00253-8
Permalink to this page