The state operator in real time process algebra

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

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

1 Citation (Scopus)
68 Downloads (Pure)
Original languageEnglish
Title of host publicationReal-Time: Theory in Practice (Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991)
EditorsJ.W. Bakker, de, W.P. Roever, de, G. Rozenberg
Place of PublicationBerlin
PublisherSpringer
Pages107-123
ISBN (Print)3-540-55564-1
DOIs
Publication statusPublished - 1992

Publication series

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

Cite this