scientific article; zbMATH DE number 176759

MaRDI QIDQ4036589zbMATH OpenFDO

Authors Luca Aceto, Matthew Hennessy

Publication date 18 May 1993

zbMATH Keywords

action refinementprocess algebraspecification languages for concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Adding action refinement to a finite process algebra
• scientific article; zbMATH DE number 1795753
• scientific article; zbMATH DE number 4180788
• Towards action-refinement in process algebras
• scientific article; zbMATH DE number 108007

Cited in

(21)

• Global renaming operators in concrete process algebra
• \(\tau\)-bisimulations and full abstraction for refinement of actions
• Processes and formalisms for unbounded choice
• Adding action refinement to a finite process algebra
• Towards action-refinement in process algebras
• Action refinement.
• Refinement of actions in Circus
• scientific article; zbMATH DE number 4180788 (Why is no real title available?)
• TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
• A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement
• scientific article; zbMATH DE number 108007 (Why is no real title available?)
• scientific article; zbMATH DE number 176132 (Why is no real title available?)
• Bounded concurrency
• Action Refinement in Process Algebra and Security Issues
• Towards the hierarchical verification of reactive systems
• Bisimulation and action refinement
• Refinement of actions in event structures and causal trees
• Compositional refinement of interactive systems modelled by relations
• Stepwise development of process-algebraic specifications in decorated trace semantics
• A reduced maximality labeled transition system generation for recursive Petri nets
• Algebraic specification of concurrent systems

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 Q4036589)