The following pages link to Vincenzo Ciancia (Q618164):
Displaying 21 items.
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Event based choreography (Q988170) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664) (← links)
- Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras (Q2848943) (← links)
- Co-Algebraic Models for Quantitative Spatial Logics (Q2870283) (← links)
- A Name Abstraction Functor for Named Sets (Q2873662) (← links)
- Stream Automata Are Coalgebras (Q2914678) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- Model Checking Spatial Logics for Closure Spaces (Q2974786) (← links)
- Freshness and Name-Restriction in Sets of Traces with Names (Q3000621) (← links)
- Specifying and Verifying Properties of Space (Q3190163) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- History Dependent Automata for Service Compatibility (Q3507393) (← links)
- (Q4553288) (← links)
- An Experimental Spatio-Temporal Model Checker (Q4988650) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- (Q5216327) (← links)
- (Q5875345) (← links)
