Circular causality in event structures

DOI10.3233/FI-2014-1101MaRDI QIDQ5259264zbMATH OpenFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 4108727
• Contracts as games on event structures
• scientific article; zbMATH DE number 4018370

Cited in

(5)

• scientific article; zbMATH DE number 7215282 (Why is no real title available?)
• Contracts as games on event structures
• Higher-order dynamics in 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)