scientific article; zbMATH DE number 578247
From MaRDI portal
Publication:4293540
zbMath0827.68030MaRDI QIDQ4293540
Carlo Ghezzi, Dino Mandrioli, Mehdi Jazayeri
Publication date: 29 May 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of software (68N99)
Related Items
Consistent database sampling as a database prototyping approach ⋮ Requirements analysis for engineering computation: a systematic approach for improving reliability ⋮ A theory of implementation and refinement in timed Petri nets ⋮ A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication ⋮ Simulation relations for fault-tolerance ⋮ DSOL: a declarative approach to self-adaptive service orchestrations ⋮ Hierarchically specified unit disk graphs ⋮ A document driven methodology for developing a high quality parallel mesh generation toolbox ⋮ Hierarchically specified unit disk graphs ⋮ The application of hypergroups in symbolic executions and finite automata
Uses Software
