A Unary Semigroup Trace Algebra
From MaRDI portal
Publication:5098727
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
Related Items (1)
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A Unary Semigroup Trace Algebra
