Foundations of Software Science and Computation Structures

DOI10.1007/B95995zbMath1126.68501OpenAlexW3105029025MaRDI QIDQ5308454

Nobuko Yoshida, Julian Rathke, Matthew C. B. Hennessy

Publication date: 28 September 2007

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

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Behavioural equivalences for dynamic web data

This page was built for publication: Foundations of Software Science and Computation Structures