Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436zbMath1169.68542OpenAlexW2915402656MaRDI QIDQ5479147

Youcef Hammal

Publication date: 7 July 2006

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

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

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)

Related Items (2)

Statechartable Petri nets ⋮ A COTS-based approach for estimating performance and energy consumption of embedded real-time systems

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005