Search Sciweavers | Sciweavers

14

CONCUR
2006
Springer

129views Distributed And Parallel Com...» more CONCUR 2006»

Event Structure Semantics for Nominal Calculi

13 years 9 months ago

Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...

Roberto Bruni, Hernán C. Melgratti, Ugo Mon...

claim paper

Read More »

12

click to vote

TLCA
2005
Springer

91views Theoretical Computer Science» more TLCA 2005»

Relational Reasoning in a Nominal Semantics for Storage

13 years 11 months ago

Download www.pps.jussieu.fr

We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...

Nick Benton, Benjamin Leperchey

claim paper

Read More »

10

click to vote

JAPLL
2007

113views more JAPLL 2007»

Fresh Logic: proof-theory and semantics for FM and nominal techniques

13 years 5 months ago

Download www.gabbay.org.uk

In this paper we introduce Fresh Logic, a natural deduction style ﬁrst-order logic extended with term-formers and quantiﬁers derived from the model of names and binding in abst...

Murdoch Gabbay

claim paper

Read More »

19

click to vote

ENTCS
2007

111views more ENTCS 2007»

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi

13 years 5 months ago

Download rap.dsi.unifi.it

Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...

Rocco De Nicola, Michele Loreti

claim paper

Read More »

9

click to vote

ECOOP
2004
Springer

82views Programming Languages» more ECOOP 2004»

Semantic Casts: Contracts and Structural Subtyping in a Nominal World

13 years 10 months ago

Download www.cs.utah.edu

Robert Bruce Findler, Matthew Flatt, Matthias Fell...

claim paper