default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65th 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
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.
last updated on 2024-11-22 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
