Theoretical Aspects of Computing - ICTAC 2004

DOI10.1007/b107116zbMath1109.68076OpenAlexW2493490011MaRDI QIDQ5709995

Apostolos Niaouris

Publication date: 30 November 2005

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

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

zbMATH Keywords

process algebrasbox algebraarc based time Petri netsNet-based algebraic calculiSOS semantics

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)

Related Items (3)

Timed mobility in process algebra and Petri nets ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Performance evaluation in stochastic process algebra dtsdPBC

This page was built for publication: Theoretical Aspects of Computing - ICTAC 2004