A Unary Semigroup Trace Algebra

DOI10.1007/978-3-030-43520-2_17OpenAlexW3013942662MaRDI QIDQ5098727

No author found.

Publication date: 30 August 2022

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://eprints.whiterose.ac.uk/156604/1/RAMiCS2020.pdf

zbMATH Keywords

semigroupsprocess algebrasemanticsUTP

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Z
• Handel-C
• Esterel
• Isabelle/UTP
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A common framework for restriction semigroups and regular \(*\)-semigroups.
• Proper two-sided restriction semigroups and partial actions.
• A denotational semantics for Handel-C
• Refusal testing
• Denotational semantics and its algebraic derivation for an event-driven system-level language
• A process algebraic framework for specification and validation of real-time systems
• The Esterel synchronous programming language: Design, semantics, implementation
• Unifying theories of time with generalised reactive processes
• Unifying theories of reactive design contracts
• Understanding concurrent systems
• Probabilistic semantics for RoboChart. A weakest completion approach
• Hybrid relations in Isabelle/UTP
• Isabelle/UTP: A Mechanised Theory Engineering Framework
• A Stepwise Approach to Linking Theories
• Circus Time with Reactive Designs
• Unifying Theories of Programming That Distinguish Nontermination and Abort
• Predicative programming Part I

This page was built for publication: A Unary Semigroup Trace Algebra