scientific article
From MaRDI portal
Publication:3994996
zbMath0800.68015MaRDI QIDQ3994996
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
SpecificationVerificationLOTOSToolsOSILotosESPRIT/SEDOS projectFormal descriptionPERLONSEDOS project
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
A non-SOS operational semantics for a process algebra, On the operational semantics of nondeterminism and divergence, Architectural CCS, Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API, On the use of MTBDDs for performability analysis and verification of stochastic systems., A constraint-based language for multiparty interactions, The weakest deadlock-preserving congruence, Specification techniques for Markov reward models, An algebraic verification of a mobile network, Gate splitting in LOTOS specifications using abstract interpretation, Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence, Software operation time evaluation based on MTM, A general theory of action languages, From μCRL to mCRL2
