Finite representations of CCS and TCSP programs by automata and Petri nets

zbMath0684.68011MaRDI QIDQ1187659

Could not fetch data.

Publication date: 23 January 1993

Published in: (Search for Journal in Brave)

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.