Regular expressions in process algebra

J.C.M. Baeten, F. Corradini

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

7 Citations (Scopus)
Original languageEnglish
Title of host publicationLogic in Computer Science (Proceedings Twentieth Annual IEEE Symposium, LICS 2005, Chicago IL, USA, June 26-29, 2005)
Place of PublicationLos Alamitos
PublisherInstitute of Electrical and Electronics Engineers
ISBN (Print)0-7695-2266-1
Publication statusPublished - 2005

Cite this