scientific article; zbMATH DE number 6708360

MaRDI QIDQ2979882zbMATH OpenFDO

Authors N. S. Gribovskaya

Publication date 26 April 2017

Full work available at URL http://bulletin.iis.nsk.su/files/article/grib2015.pdf

zbMATH Keywords

category theorysemanticssyntaxtimed causal trees

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Structuring causal trees
• scientific article; zbMATH DE number 4213438
• Causal trees, finally
• A categorical semantics for causal structure
• A categorical semantics for causal structure
• Causation in branching time. I: Transitions, events and causes
• A note on causal trees and their applications to CCS
• Modelling causality via action dependencies in branching time semantics
• scientific article; zbMATH DE number 4189225
• Cascade Products and Temporal Logics on Finite Trees

Cited in

(7)

• Causal automata
• Causality versus true-concurrency
• Causality versus true-concurrency
• Causal trees, finally
• THE CATEGORY THEORY OF TIME SYSTEMS
• A note on causal trees and their applications to CCS
• Proved trees

This page was built for publication:

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