Resource Usage Analysis for the Pi-Calculus

DOI10.2168/LMCS-2(3:4)2006zbMath1126.68057OpenAlexW2148791671MaRDI QIDQ5310663

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-2(3:4)2006

Mathematics Subject Classification ID

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

Related Items (3)

A Calculus for Modeling Floating Authorizations ⋮ A new type system for JVM lock primitives ⋮ A Type System for Usage of Software Components

This page was built for publication: Resource Usage Analysis for the Pi-Calculus