scientific article; zbMATH DE number 1942459

MaRDI QIDQ4409159zbMATH OpenFDO

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

Publication date 30 June 2003

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

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:

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