Work

On sequentiality and well-bracketing in the π-calculus

Year: 2026

Type: article

Source: Journal of Logical and Algebraic Methods in Programming

DOI: 10.1016/j.jlamp.2026.101189

Authors: Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,610

OpenAlex ID: W7215980844

FWCI:

Cites: 23

Cited by:

Related to: