Spatial and behavioral types in the pi-calculus
type: Item
instance of: scholarly article
title: Spatial and behavioral types in the pi-calculus
zbMATH Open document ID: 1209.68331
author: Lucia Acciai
author: Michele Boreale
published in: Information and Computation
publication date: 2010-10-07T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5796778
zbMATH Keywords: pi-calculus
zbMATH Keywords: behavioral type systems
zbMATH Keywords: spatial logic
describes a project that uses: SLMC
describes a project that uses: PIPER
MaRDI profile type: Publication
full work available at URL: j.ic.2009.10.011
OpenAlex ID: W2075221622
cites work: Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
cites work: Spatial and Behavioral Types in the Pi-Calculus
cites work: A Type System for Client Progress in a Service-Oriented Calculus
cites work: Type Abstractions of Name-Passing Processes
cites work: Responsiveness in process calculi
cites work: Automata, Languages and Programming
cites work: Logical Semantics of Types for Concurrency
cites work: Spatial-Behavioral Types, Distributed Services, and Resources
cites work: Foundations of Software Science and Computation Structures
cites work: A spatial logic for concurrency. I
cites work: Well-structured transition systems everywhere!
cites work: Types as models
cites work: Anytime, anywhere
cites work: Structural inclusion in the pi-calculus with replication
cites work: A generic type system for the pi-calculus
cites work: A Hybrid Type System for Lock-Freedom of Mobile Processes
cites work: Type-based information flow analysis for the \(\pi\)-calculus
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus
cites work: Q3992568
cites work: The name discipline of uniform receptiveness
DOI: 10.1016/J.IC.2009.10.011
description: scientific article; zbMATH DE number 5796778