A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes

DOI10.1007/978-3-319-63121-9_22zbMath1431.68075OpenAlexW2737623643MaRDI QIDQ5217313

Matthew C. B. Hennessy

Publication date: 24 February 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63121-9_22

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Equational axioms for regular sets

This page was built for publication: A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes