A ground-complete axiomatization of finite state processes in process algebra

J.C.M. Baeten, M. Bravetti

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

14 Citations (Scopus)
Original languageEnglish
Title of host publicationCONCUR 2005 - Concurrency Theory (Proceedings 16th International Conference, San Francisco CA, USA, August 23-26, 2005)
EditorsM. Abadi, L. de Alfaro
Place of PublicationBerlin
PublisherSpringer
Pages248-262
ISBN (Print)3-540-28309-0
DOIs
Publication statusPublished - 2005

Publication series

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

Cite this