scientific article; zbMATH DE number 108007

MaRDI QIDQ4023588zbMATH OpenFDO

Authors Luca Aceto

Publication date 23 January 1993

zbMATH Keywords

action refinementprocess algebrassemantics of concurrency

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

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

Cited in

(19)

• Adding action refinement to a finite process algebra
• Process algebra with action dependencies
• Verification of compliance for multilevel models in individual trace semantics
• Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
• Refinement of actions in a real-time process algebra with a true concurrency model
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
• scientific article; zbMATH DE number 176132 (Why is no real title available?)
• scientific article; zbMATH DE number 176759 (Why is no real title available?)
• scientific article; zbMATH DE number 590996 (Why is no real title available?)
• Automating the refinement of specifications for distributed systems via syntactic transformations
• scientific article; zbMATH DE number 4119654 (Why is no real title available?)
• scientific article; zbMATH DE number 2090704 (Why is no real title available?)
• Bounded concurrency
• Quantitative model refinement as a solution to the combinatorial size explosion of biomodels
• Model Checking for Action Abstraction
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Refinement of actions and equivalence notions for concurrent systems
• Introducing extra operations in refinement

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