Traces, Executions and Schedulers, Coalgebraically

DOI10.1007/978-3-642-03741-2_15MaRDI QIDQ2888488zbMATH OpenOpenAlexFDO

Authors Bart Jacobs, Ana Sokolova

Publication date 1 June 2012

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2066/75653

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1836352
• Traces for coalgebraic components
• A coalgebraic approach to process equivalence and a coinduction principle for traces
• Coalgebraic infinite traces and Kleisli simulations
• Coalgebraic Infinite Traces and Kleisli Simulations
• Trace semantics for coalgebras
• Coalgebraic trace semantics for continuous probabilistic transition systems
• Coalgebraic semantics for timed processes
• Abstract interpretation of trace semantics for concurrent calculi
• A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell

Cites work

• scientific article; zbMATH DE number 2061699 (Why is no real title available?)
• Algebra and Coalgebra in Computer Science
• CONCUR 2005 – Concurrency Theory
• Distributing probability over non-determinism
• Generic Forward and Backward Simulations
• Generic Trace Semantics via Coinduction
• Introduction to extensive and distributive categories
• Making Random Choices Invisible to the Scheduler
• The Microcosm Principle and Concurrency in Coalgebra
• Trace semantics for coalgebras

Cited in

(3)

• Composable scheduler activations for Haskell
• Maximal traces and path-based coalgebraic temporal logics
• Generic infinite traces and path-based coalgebraic temporal logics

This page was built for publication: Traces, Executions and Schedulers, Coalgebraically

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