Bialgebraic modelling of timed processes

DOI10.1007/3-540-45465-9_45MaRDI QIDQ4737185zbMATH OpenFDO

Authors Marco Kick

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2380/23800525.htm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Coalgebraic semantics for timed processes
• Rule formats for timed processes
• A categorical view of timed behaviours
• A process algebra for timed systems
• Process algebra with timing

Cited in

(12)

• Bialgebraic methods and modal logic in structural operational semantics
• Modular construction of complete coalgebraic logics
• Coalgebraic semantics for timed processes
• Reactive bisimulation semantics for a process algebra with timeouts
• Rule formats for timed processes
• GSOS for probabilistic transition systems (extended abstract)
• Bialgebraic methods in structural operational semantics (invited talk)
• Behavioural equivalences for timed systems
• scientific article; zbMATH DE number 1267564 (Why is no real title available?)
• Bialgebras for structural operational semantics: an introduction
• Category theory for operational semantics
• SOS formats and meta-theory: 20 years after

This page was built for publication: Bialgebraic modelling of timed processes

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