The Synthesis Problem of Netcharts

DOI10.1007/11767589_6zbMath1234.68285OpenAlexW1522866526MaRDI QIDQ3618700

Rémi Morin, Nicolas Baudru

Publication date: 2 April 2009

Published in: Petri Nets and Other Models of Concurrency - ICATPN 2006 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11767589_6

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Compositional synthesis of asynchronous automata

This page was built for publication: The Synthesis Problem of Netcharts