scientific article; zbMATH DE number 7301527

zbMath1456.68113MaRDI QIDQ5146648

Luca Bernardinello, Stefania Rombolà, Lucia Pomello

Publication date: 26 January 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2009.2

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Complemented lattices, orthocomplemented lattices and posets (06C15)

Related Items (1)

A generalized modal logic in causal structures

This page was built for publication: