scientific article
From MaRDI portal
Publication:2767185
zbMath0983.68022MaRDI QIDQ2767185
Michele Loreti, Rocco De Nicola
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
coordination modelskernel language for agents interaction and mobilitymobile code languagestemporal logics of programs
Modal logic (including the logic of norms) (03B45) Theory of programming languages (68N15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (3)
Specification and refinement of mobile systems in MTLA and mobile UML ⋮ Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications ⋮ KLAIM
This page was built for publication:
