Termination in Higher-Order Concurrent Calculi

DOI10.1007/978-3-642-11623-0_4zbMath1274.68067OpenAlexW1832980700MaRDI QIDQ3400914

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi

Publication date: 28 January 2010

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11623-0_4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Light logics and higher-order processes ⋮ Termination in higher-order concurrent calculi

This page was built for publication: Termination in Higher-Order Concurrent Calculi