 | 2011 |
|---|
| 12 |       | Murdoch James Gabbay,
Vincenzo Ciancia:
Freshness and Name-Restriction in Sets of Traces with Names.
FOSSACS 2011: 365-380 |
| 11 | | Vincenzo Ciancia:
Interaction and observation, categorically
ICE 2011: 25-36 |
| 10 | | Vincenzo Ciancia,
Gian Luigi Ferrari,
Roberto Guanciale,
Daniele Strollo,
Emilio Tuosto:
Model-Driven Development of Long Running Transactions.
Results of the SENSORIA Project 2011: 326-348 |
| 2010 |
|---|
| 9 | | Vincenzo Ciancia,
Gian Luigi Ferrari,
Roberto Guanciale,
Daniele Strollo:
Global Coordination Policies for Services.
Electr. Notes Theor. Comput. Sci. 260: 73-89 (2010) |
| 8 | | Vincenzo Ciancia,
Alexander Kurz,
Ugo Montanari:
Families of Symmetries as Efficient Models of Resource Binding.
Electr. Notes Theor. Comput. Sci. 264(2): 63-81 (2010) |
| 7 | | Vincenzo Ciancia,
Ugo Montanari:
Symmetries, local names and dynamic (de)-allocation of names.
Inf. Comput. 208(12): 1349-1367 (2010) |
| 6 | | Vincenzo Ciancia,
Gian Luigi Ferrari,
Roberto Guanciale,
Daniele Strollo:
Event based choreography.
Sci. Comput. Program. 75(10): 848-878 (2010) |
| 2008 |
|---|
| 5 | | Filippo Bonchi,
Maria Grazia Buscemi,
Vincenzo Ciancia,
Fabio Gadducci:
A Category of Explicit Fusions.
Concurrency, Graphs and Models 2008: 544-562 |
| 4 | | Vincenzo Ciancia,
Gian Luigi Ferrari,
Marco Pistore,
Emilio Tuosto:
History Dependent Automata for Service Compatibility.
Concurrency, Graphs and Models 2008: 625-641 |
| 3 | | Vincenzo Ciancia,
Gian Luigi Ferrari,
Roberto Guanciale,
Daniele Strollo:
Checking Correctness of Transactional Behaviors.
FORTE 2008: 134-148 |
| 2 | | Vincenzo Ciancia,
Ugo Montanari:
A Name Abstraction Functor for Named Sets.
Electr. Notes Theor. Comput. Sci. 203(5): 49-70 (2008) |
| 2007 |
|---|
| 1 | | Vincenzo Ciancia,
Gian Luigi Ferrari:
Co-Algebraic Models for Quantitative Spatial Logics.
Electr. Notes Theor. Comput. Sci. 190(3): 43-58 (2007) |
Data released under the ODC-BY 1.0 license — See also our legal information page