Coinductive interpreters for process calculi

DOI10.1007/3-540-45788-7_11MaRDI QIDQ4409159zbMATH OpenFDO

Authors J. N. Oliveira, L. S. Barbosa

Publication date 30 June 2003

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/2441/24410183.htm, http://hdl.handle.net/1822/36069

zbMATH Keywords

applicationscoinductive typesfunctional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A coalgebraic approach to process equivalence and a coinduction principle for traces
• On the expressiveness and decidability of higher-order process calculi
• Incremental pattern-based coinduction for process algebra and its Isabelle formalization
• A coinductive calculus for asynchronous side-effecting processes
• A coinductive calculus for asynchronous side-effecting processes
• Contextual labelled semantics for higher-order process calculi
• Processes as formal power series: a coinductive approach to denotational semantics
• Coinductive Logic Programming
• Coalgebraic semantics for timed processes
• scientific article; zbMATH DE number 970725

Cited in

(8)

• Are there interactive protocols for co-NP languages?
• A perspective on service orchestration
• Processes as formal power series: a coinductive approach to denotational semantics
• An exercise on transition systems
• Let's see how things unfold: reconciling the infinite with the intensional (extended abstract)
• A coinductive calculus for asynchronous side-effecting processes
• A coinductive calculus for asynchronous side-effecting processes
• scientific article; zbMATH DE number 862677 (Why is no real title available?)

This page was built for publication: Coinductive interpreters for process calculi

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