Termination of processes

DOI10.1017/S0960129505004810MaRDI QIDQ5466792zbMATH OpenOpenAlexFDO

Authors Davide Sangiorgi

Publication date 22 May 2006

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129505004810

zbMATH Keywords

behavioural preorders

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3930339
• On killed processes and stopped filtrations
• Termination by completion
• Mobile Processes and Termination
• Termination of well-moded programs
• Processes with multiple entries and exits
• Logic Programming
• scientific article; zbMATH DE number 4094674
• The problem of termination of programs
• On Termination of a Flooding Process

Cited in

(13)

• Eager functions as processes
• Ensuring termination by typability
• Corecursion and non-divergence in session-typed processes
• Termination in a -calculus with subtyping
• Mobile Processes and Termination
• Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa
• Termination Problems in Chemical Kinetics
• scientific article; zbMATH DE number 1927554 (Why is no real title available?)
• Linear logical relations and observational equivalences for session-based concurrency
• Termination Analysis for the \pi -Calculus by Reduction to Sequential Program Termination
• Safe session-based concurrency with shared linear state
• Termination in higher-order concurrent calculi
• Typing termination in a higher-order concurrent imperative language

This page was built for publication: Termination of processes

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