Specification and validation of a concurrent system: An educational project

DOI10.1007/s100090100064zbMath0993.68059OpenAlexW339253756WikidataQ126568535 ScholiaQ126568535MaRDI QIDQ5953454

Laure Petrucci, Gérard Berthelot

Publication date: 29 September 2002

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

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

zbMATH Keywords

coloured Petri nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Specification and validation of a concurrent system: An educational project