![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
65th Birthday: Rocco De Nicola 2019
- Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese:
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11665, Springer 2019, ISBN 978-3-030-21484-5
Homage from Friends
- Ugo Montanari:
From Tuscany to Scotland and Back - A Homage to Rocco de Nicola for His 65th Birthday. 3-6 - Luca Aceto
, Gianlorenzo D'Angelo
, Michele Flammini
, Omar Inverso
, Ludovico Iovino
, Catia Trubiani
:
Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way. 7-12
Observational Semantics
- Matthew Hennessy:
An Equational Characterisation of the Must Testing Pre-order for Regular Processes. 15-27 - Luca Aceto
, Antonis Achilleos
, Adrian Francalanza
, Anna Ingólfsdóttir
, Karoliina Lehtinen
:
Testing Equivalence vs. Runtime Monitoring. 28-44 - Rob van Glabbeek:
Reward Testing Equivalences for Processes. 45-70 - Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro:
Playing with Bisimulation in Erlang. 71-91 - Marco Bernardo:
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults. 92-111
Coordination Models and Languages
- Lorenzo Bettini
, Emanuela Merelli
, Francesco Tiezzi
:
X-Klaim Is Back. 115-135 - Eva Maria Kuehn:
A Distributed Ledger Technology Based on Shared Write-Once Objects. 136-151 - Yehia Abd Alrahman
, Claudio Antares Mezzina
, Hugo Torres Vieira
:
Testing for Coordination Fidelity. 152-169 - Roberto Bruni, Andrea Corradini, Fabio Gadducci
, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto:
Data-Driven Choreographies à la Klaim. 170-190 - Farhad Arbab, Marco Autili
, Paola Inverardi, Massimo Tivoli
:
Different Glasses to Look into the Three Cs: Component, Connector, Coordination. 191-216
Logics and Types
- Stefania Gnesi
, Maurice H. ter Beek
:
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. 219-235 - Rumyana Neykova, Nobuko Yoshida
:
Featherweight Scribble. 236-259 - Vincenzo Ciancia, Diego Latella
, Mieke Massink:
Embedding RCC8D in the Collective Spatial Logic CSLCS. 260-277 - Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani:
From Behavioural Contracts to Session Types. 278-297 - Paolo Bottoni
, Daniele Gorla
, Stefano Kasangian, Anna Labella
:
Modal Epistemic Logic on Contracts: A Doctrinal Approach. 298-314 - Minas Charalambides
, Karl Palmskog, Gul Agha
:
Types for Progress in Actor Programs. 315-339 - Ilaria Castellani
, Mariangiola Dezani-Ciancaglini
, Paola Giannini
:
Event Structure Semantics for Multiparty Sessions. 340-363
Distributed Systems Modelling
- Martin Wirsing, Rolf Hennicker:
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. 367-387 - Joseph Sifakis:
Autonomous Systems - An Architectural Characterization. 388-410 - Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli:
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT. 411-427 - Vasco T. Vasconcelos
, Francisco Martins
, Antónia Lopes
, Nuno Burnay
:
HeadREST: A Specification Language for RESTful APIs. 428-434
Security
- Chiara Bodei
, Pierpaolo Degano
, Gian-Luigi Ferrari
, Letterio Galletta
:
Revealing the Trajectories of KLAIM Tuples, Statically. 437-454 - Flemming Nielson
, Hanne Riis Nielson
:
Lightweight Information Flow. 455-470 - Alberto Lluch-Lafuente
:
A Framework for Provenance-Preserving History Distribution and Incremental Reduction. 471-486 - Natasha Fernandes
, Lefki Kacem, Catuscia Palamidessi
:
Utility-Preserving Privacy Mechanisms for Counting Queries. 487-495
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.