scientific article; zbMATH DE number 1234567
From MaRDI portal
Publication:4221353
zbMath0911.68020MaRDI QIDQ4221353
Maurizio Gabbrielli, Maria Chiara Meo, Sandro Etalle
Publication date: 11 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items (3)
Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication ⋮ Model-based computing: Developing flexible machine control software ⋮ Models and emerging trends of concurrent constraint programming
This page was built for publication:
