Formal Techniques for Networked and Distributed Systems – FORTE 2004

DOI10.1007/B100576zbMath1110.68416OpenAlexW2244752996MaRDI QIDQ5464479

Thomas Chatain, Claude Jard

Publication date: 18 August 2005

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

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

Mathematics Subject Classification ID

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

Related Items (4)

Failures: Their Definition, Modelling and Analysis ⋮ Diagnosis from scenarios ⋮ An Algorithm for Direct Construction of Complete Merged Processes ⋮ Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics

This page was built for publication: Formal Techniques for Networked and Distributed Systems – FORTE 2004