#### Filter Results:

- Full text PDF available (14)

#### Publication Year

1996

2016

- This year (0)
- Last 5 years (2)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

A semantics to a small fragment of Java capturing the new memory model (JMM) described in the Language Specification is given by combining operational, denotational and axiomatic techniques in a novel semantic framework. The operational steps (specified in the form of SOS) construct denotational models (configuration structures) and are constrained by the… (More)

- Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
- Formal Syntax and Semantics of Java
- 1999

A structural operational semantics of a signiicant sublan-guage of Java is presented, including the running and stopping of threads, thread interaction via shared memory, synchronization by monitoring and notiication, and sequential control mechanisms such as exception handling and return statements. The operational semantics is paramet-ric in the notion of… (More)

- Simona Castaldi, Massimo Costantini, Pietro Cenciarelli, Paolo Ciccioli, Riccardo Valentini
- Chemosphere
- 2007

In the present work, the CH4 sink associated to Italian soils was calculated by using a process-based model controlled by gas diffusivity and microbial activity, which was run by using a raster-based geographical information system. Georeferenced data included land cover CLC2000, soil properties from the European Soil Database, climatic data from the… (More)

- Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
- AMAST
- 1997

A structural operational semantics of a non trivial sublan-guage of Java is presented. This language includes dynamic creation of objects, blocks, and synchronization of threads. First we introduce a simple operational description of the sequential part of the language, where the memory is treated as an algebra with suitably axiomatized operations. Then,… (More)

- Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi
- Electr. Notes Theor. Comput. Sci.
- 2005

We investigate synchronized hyperedge replacement (SHR) as general framework for distributed programming and system design. We propose a slender version of SHR which dramaticaly reduces the mathematical overhead of the original proposal [5] and use it to interpret the distributed CCS [7] and the calculus of Mobile Ambients [1] in a uniform semantic… (More)

- Pietro Cenciarelli, Alessandro Tiberi
- Electr. Notes Theor. Comput. Sci.
- 2005

We present a case study where Synchronising Graphs, a system of parallel graph transformation, are used to solve the syntactic unification problem for first order rational terms (with possibly infinite unifier). The solution we offer is efficient, that is quasi-linear, and simple: a program of 28 characters.

- Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
- ICGT
- 2008

Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free synchronising graphs and a novel notion of bisimulation equivalence which is shown to be a congruence with respect to graph composition and node restriction. We use this notion of… (More)

- Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
- ArXiv
- 2016

We consider network models where information items flow from a source to a sink node. We start with a model where routing is constrained by energy available on nodes in finite supply (like in Smartdust) and efficiency is related to energy consumption. We characterize graph topologies ensuring that every saturating flow under every energy-to-node assignment… (More)

- Pietro Cenciarelli
- CSL
- 2002

The speciication for the object-oriented concurrent language Java 3] is rather loose w.r.t. the interaction of shared memory and the local working memories of diierent threads, in order to allow for diier-ent implementations. The Java speciication book describes two kinds of memories, a \normal" one and a more liberal memory, to which in certain situations… (More)