Process algebra with siugnals and conditions

J.C.M. Baeten, J.A. Bergstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProgramming and mathematical method (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 24-August 5, 1990)
EditorsM. Broy
Place of PublicationBerlin
ISBN (Print)3-540-55558-7
Publication statusPublished - 1992

Publication series

NameNATO ASI Series, Series F: Computer and Systems Sciences
ISSN (Print)1387-6694

Cite this