Discrete time process algebra

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

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

62 Downloads (Pure)
Original languageEnglish
Title of host publicationCONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992)
EditorsR. Cleaveland
Place of PublicationBerlin
PublisherSpringer
Pages401-420
ISBN (Print)3-540-55822-5
DOIs
Publication statusPublished - 1992

Publication series

NameLecture Notes in Computer Science
Volume630
ISSN (Print)0302-9743

Cite this