Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5899077
DOI10.1007/11690634zbMath1180.68114OpenAlexW2504714231MaRDI QIDQ5899077
Matthew C. B. Hennessy, Adrian Francalanza
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11690634
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A theory of system behaviour in the presence of node and link failure, An observational theory for mobile ad hoc networks (full version), An Observational Theory for Mobile Ad Hoc Networks
