Linearization of CIF through SOS

MaRDI QIDQ4965861zbMATH OpenFDO

Authors Damian Nadales Agut, Michel A. Reniers

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1108.4468, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2011.6

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Linearization in parallel pCRL
• scientific article; zbMATH DE number 7314988
• Linearization of hybrid processes
• A Process-Model for Linear Programs
• Logic Based Program Synthesis and Transformation

Cited in

(2)

• Linearization in parallel pCRL
• Reducing the computational effort of symbolic supervisor synthesis

This page was built for publication: Linearization of CIF through SOS

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