Circular Causality in Event Structures

DOI10.3233/FI-2014-1101zbMATH Open1334.68145MaRDI QIDQ5259264FDOQ5259264

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

reachabilityevent structureslabelled transition systemcircular 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)

Cited In (5)

• Dynamic Causality in Event Structures
• Title not available (Why is that?)
• 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

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

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