Algebraic meta-theory of processes with data

MaRDI QIDQ4992500zbMATH OpenFDO

Authors

Publication date 9 June 2021

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1501631
• CONCUR 2005 – Concurrency Theory
• A symbolic approach to value-passing processes
• scientific article; zbMATH DE number 7318985
• Notions of bisimulation and congruence formats for SOS with data

Cited in

(5)

• Dynamic structural operational semantics
• Modelling and analysing neural networks using a hybrid process algebra
• A generic algebra for data collections based on constructive logic
• The way we were: structural operational semantics research in perspective
• Revisiting sequential composition in process calculi

This page was built for publication: Algebraic meta-theory of processes with data

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