The Value-Passing Calculus

DOI10.1007/978-3-642-39698-4_11MaRDI QIDQ2842635zbMATH OpenOpenAlexFDO

Authors Yuxi Fu

Publication date 16 August 2013

Published in Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39698-4_11

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formalising a value-passing calculus in H0L
• Call-by-value combinatory logic and the lambda-value calculus
• scientific article; zbMATH DE number 7650848
• scientific article; zbMATH DE number 176136
• The call-by-value λ-calculus: a semantic investigation
• Call-by-Value  -calculus and LJQ
• An abstract monadic semantics for value recursion
• scientific article; zbMATH DE number 177815
• Light Logics and the Call-by-Value Lambda Calculus

Cites work

• A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
• A calculus of mobile processes. I
• A complete axiomatisation for observational congruence of finite-state behaviours
• A proof system for communicating processes with value-passing
• A symbolic approach to value-passing processes
• A theory of communicating processes with value passing
• A Theory of Communicating Sequential Processes
• A theory of higher order communicating systems
• Algebraic laws for nondeterminism and concurrency
• Algebraic theories for name-passing calculi
• Axiomatising divergence
• Branching time and abstraction in bisimulation semantics
• Communicating processes with value-passing and assignments
• Communicating sequential processes
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3501006 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• On the expressiveness of interaction
• Plain CHOCS. A second generation calculus for higher order processes
• Proof systems for message-passing process algebras
• Symbolic bisimulations
• Unique fixpoint induction for message-passing process calculi

Cited in

(9)

• A semantic theory for value-passing processes based on the late approach
• Formalising a value-passing calculus in H0L
• A thesis for interaction
• scientific article; zbMATH DE number 177815 (Why is no real title available?)
• scientific article; zbMATH DE number 860048 (Why is no real title available?)
• scientific article; zbMATH DE number 7204939 (Why is no real title available?)
• Non-deterministic structures of computation
• Extensional Petri net
• Theory of interaction

This page was built for publication: The Value-Passing Calculus

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