scientific article; zbMATH DE number 1500657
From MaRDI portal
Publication:4501679
zbMath0958.68117MaRDI QIDQ4501679
Gérard Boudol, Cédric Lhoussaine, Roberto M. Amadio
Publication date: 4 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (4)
Linear forwarders ⋮ On Mobility and Communication ⋮ Dynamics of reputation in mobile agents systems and weighted timed automata ⋮ Resource access control in systems of mobile agents
This page was built for publication: