Continuous Additive Algebras and Injective Simulations of Synchronization Trees

DOI10.1093/LOGCOM/12.2.271MaRDI QIDQ4542239zbMATH OpenOpenAlexWikidataFDO

Authors Zoltán Ésik

Publication date 30 January 2003

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/12.2.271

zbMATH Keywords

equational logicfixed pointssimulationsynchronization trees

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Free algebras (08B20) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• Algebraic synchronization trees and processes
• Iteration theories of synchronization trees
• scientific article; zbMATH DE number 627763
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Publication:4733394
• An algebraic model of synchronous systems
• Synchronization algebras with mobility for graph transformations
• Generalized synchronization trees
• Behavioural Differential Equations and Coinduction for Binary Trees
• Simulating probabilistic by deterministic algebraic computation trees

Cited in

(5)

• A Mezei-Wright theorem for categorical algebras
• A connection between concurrency and language theory
• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
• scientific article; zbMATH DE number 7437711 (Why is no real title available?)
• Axiomatizing the equational theory of regular tree languages

This page was built for publication: Continuous Additive Algebras and Injective Simulations of Synchronization Trees

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