publication . Report . Under curation

Structural Equivalence in Reversible Calculus of Communicating Systems (Abstract)

Aubert, Clément; Cristescu, Ioana;
Open Access
  • Publisher: Zenodo
Abstract
In a process-algebraic approach to system verification, one typically writes two specifications. One, call it SYS, captures the design of the actual system and the other, call it SPEC, describes the system's desired 'high-level' behavior. One may then establish the correctness of SYS with respect to SPEC by showing that SYS behaves the 'same as' SPEC." ( The approach described is used for the calculus of communicating systems (CCS), an important actor in process calculus, a branch of Computer Science that formally models concurrent systems. However, this approach was not adopted when the reversible calculus of communicating systems (RCCS) was defined. Our curren...
Download from
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue