scientific article

From MaRDI portal

Revision as of 16:01, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3829081

Jump to:navigation, search

zbMath0674.68050MaRDI QIDQ3829081

Alessandro Giovini, Egidio Astesiano, Gianna Reggio

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bisimulation specification labelled transition system abstract data types

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Data structures (68P05) Theory of operating systems (68N25)

Related Items (7)

From π-calculus to higher-order π-calculus — and back ⋮ SOS formats and meta-theory: 20 years after ⋮ Fully abstract semantics for higher order communicating systems ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Observational structures and their logic ⋮ First–order Semantics for Higher–order Processes ⋮ Bisimulation and Co-induction: Some Problems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3829081&oldid=17420424"