Publication:3994996
From MaRDI portal
zbMath0800.68015MaRDI QIDQ3994996
No author found.
Publication date: 23 January 1993
Specification; Verification; LOTOS; Tools; OSI; Lotos; ESPRIT/SEDOS project; Formal description; PERLON; SEDOS project
00B15: Collections of articles of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
Related Items
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence, From μCRL to mCRL2, A non-SOS operational semantics for a process algebra, Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API, The weakest deadlock-preserving congruence, Specification techniques for Markov reward models, Software operation time evaluation based on MTM, An algebraic verification of a mobile network, A general theory of action languages, On the operational semantics of nondeterminism and divergence, On the use of MTBDDs for performability analysis and verification of stochastic systems., Architectural CCS, A constraint-based language for multiparty interactions