scientific article; zbMATH DE number 1314225

MaRDI QIDQ4256311zbMATH OpenFDO

Authors Uwe Wolter

Publication date 12 July 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=19#19006

zbMATH Keywords

coalgebras

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• CSP, partial automata, and coalgebras.
• \textsc{CoCasl} at work -- modelling process algebra
• Processes as formal power series: a coinductive approach to denotational semantics
• A (Co)Algebraic Analysis of Synchronization in CSP
• Algebraic-coalgebraic specification in CoCASL

Cited in

(9)

• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
• CSP, partial automata, and coalgebras.
• Revisiting causality, coalgebraically
• The coalgebraic class specification language CCSL
• \textsc{CoCasl} at work -- modelling process algebra
• A single complete relational rule for coalgebraic refinement
• On CSP and the algebraic theory of effects
• A (Co)Algebraic Analysis of Synchronization in CSP
• scientific article; zbMATH DE number 35422 (Why is no real title available?)

This page was built for publication:

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