A complete axiomatisation for trace congruence of finite state behaviors

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

Original languageEnglish
Title of host publicationMathematical Foundations of Programming Semantics - 9th International Conference, Proceedings
EditorsStephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
PublisherSpringer Verlag
Pages530-543
Number of pages14
ISBN (Print)9783540580270
DOIs
StatePublished - 1994
Externally publishedYes
Event9th International Conference on the Mathematical Foundations of Programming Semantics, 1993 - New Orleans, United States
Duration: 7 Apr 199310 Apr 1993

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume802 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th International Conference on the Mathematical Foundations of Programming Semantics, 1993
Country/TerritoryUnited States
CityNew Orleans
Period7/04/9310/04/93

Cite this