scientific article; zbMATH DE number 1479625

zbMath0942.68633MaRDI QIDQ4490738

Goltz, Ursula, Roberto Gorrieri, Arend Rensink

Publication date: 20 July 2000

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

Mathematics Subject Classification ID

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

Related Items (2)

Action refinement and property inheritance in systems of sequential agents ⋮ Refinement of actions for real-time concurrent systems with causal ambiguity

This page was built for publication: