Applications and Theory of Petri Nets 2004

DOI10.1007/B98283zbMath1094.68053OpenAlexW2495597431MaRDI QIDQ5712362

Adrianna Alexander

Publication date: 23 December 2005

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

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

zbMATH Keywords

verificationpartial ordertemporal logicspecificationcompositional semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) 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: Applications and Theory of Petri Nets 2004