scientific article; zbMATH DE number 683363

MaRDI QIDQ4312484zbMATH OpenFDO

Authors Jan Friso Groote, Alban Ponse

Publication date 29 November 1994

zbMATH Keywords

micro common representation languagerecursive specification principlespecification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1796138
• An abstract interpretation toolkit for CRL
• Formalizing process algebraic verifications in the calculus of constructions
• From CRL to mCRL2: motivation and outline
• scientific article; zbMATH DE number 4016181

Cited in

(14)

• A conservative look at operational semantics with variable binding
• Two finite specifications of a queue
• Equivalence of recursive specifications in process algebra
• Proof systems for message-passing process algebras
• Computable processes and bisimulation equivalence
• Splitting bisimulations and retrospective conditions
• Suitability of mCRL2 for concurrent-system design: a 2 2 Switch case study
• A process calculus with finitary comprehended terms
• From CRL to mCRL2: motivation and outline
• Linearization in parallel pCRL
• The parallel composition of uniform processes with data
• Confluence for process verification
• Synchronous Kleene algebra
• On process equivalence = equation solving in CCS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4312484)