Non interleaving process algebra

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

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

7 Citations (Scopus)
5921 Downloads (Pure)
Original languageEnglish
Title of host publicationCONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993)
EditorsE. Best
Place of PublicationBerlin
PublisherSpringer
Pages308-323
ISBN (Print)3-540-57208-2
DOIs
Publication statusPublished - 1993

Publication series

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

Cite this