Labelled transition logic: An outline

DOI10.1007/PL00013308zbMath1025.68056MaRDI QIDQ5950716

Egidio Astesiano, Gianna Reggio

Publication date: 13 December 2001

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

labelled transition systemsLT structures

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Rewriting logic: Roadmap and bibliography ⋮ A formally grounded software specification method ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ Formalism and method

This page was built for publication: Labelled transition logic: An outline