A noninterleaving model of concurrency based on transition systems with spatial structure

A noninterleaving model of concurrency based on transition systems with spatial structure (2004)

Cached

Download Links

[www.it.uu.se]

by Luís Monteiro

Venue:	CMCS’04
Citations:	3 - 0 self

BibTeX

@MISC{Monteiro04anoninterleaving,
    author = {Luís Monteiro},
    title = { A noninterleaving model of concurrency based on transition systems with spatial structure},
    year = {2004}
}

Bookmark

OpenURL

Abstract

Citations

2970	Communication and Concurrency - Milner - 1989
579	Separation logic: A logic for shared mutable data structures - Reynolds - 2002
520	Communicating and mobile systems: the π-calculus - Milner - 1999
279	Universal coalgebra: a theory of systems - Rutten - 2000
242	M.: Models for concurrency - Winskel, Nielsen - 1995
214	A Tutorial on (Co)Algebras and (Co)Induction - Jacobs, Rutten - 1997
170	The logic of bunched implications - O’Hearn, Pym - 1999
121	A spatial logic for concurrency (Part I - Caires, Cardelli - 2001
55	Logics for Coalgebras and Applications to Computer Science - Kurz - 2001
50	A Spatial Logic for Concurrency (Part II - Caires, Cardelli - 2002
31	Modal Logic for Mobile Ambients - Anytime - 2000
30	Manipulating Trees with Hidden Labels - Cardelli, Gardner, et al. - 2003
16	A Model for Declarative Programming and Specification with Concurrency and Mobility - Caires - 1999
11	Behavioral and spatial properties in a logic for the pi-calculus - Caires - 2004
11	Elements of the general theory of coalgebras. LUATCS’99 - Gumm - 1999
10	U.: From sos specifications to structured coalgebras: How to make bisimulation a congruence - Corradini, Heckel, et al. - 1999
2	A note on models for spatial logic based on transition systems with spatial structure - Monteiro - 2003