Circular Causality in Event Structures

DOI10.3233/FI-2014-1101zbMath1334.68145MaRDI QIDQ5259264

Roberto Zunino, Tiziana Cimoli, G. Michele Pinna, Massimo Bartoletti

Publication date: 26 June 2015

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

reachabilitylabelled transition systemevent structurescircular causalitypropositional contract logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Contracts as games on event structures ⋮ Debits and Credits in Petri Nets and Linear Logic ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Unnamed Item

This page was built for publication: Circular Causality in Event Structures