Exhibition of a Structural Bug with Wings

DOI10.1007/978-3-319-07734-5_14zbMath1334.68143OpenAlexW198624934MaRDI QIDQ5166768

Rémi Morin, Florent Avellaneda

Publication date: 8 July 2014

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-07734-5_14

Mathematics Subject Classification ID

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

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the reachability problem for 5-dimensional vector addition systems
• Parallel program schemata
• A theory of regular MSC languages
• Structural properties of petri nets
• Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

This page was built for publication: Exhibition of a Structural Bug with Wings