Searching for authors named "Luca Aceto" – sorted by Relevance.
49 documents found, showing 1 through 10.
Next 10 →
-
Relating Distributed, Temporal and Causal Observations of Simple Processes
- …Relating Distributed, Temporal and Causal Observations of Simple Processes Luca Aceto School…
- Cited by 8 (2 self) – Add To MetaCart
-
Some of My Favourite Results in Classic Process Algebra
- …Some of My Favourite Results in Classic Process Algebra (Version of September 9, 2003) Luca Aceto…
- Cited by 5 (2 self) – Add To MetaCart
-
The quest for equational axiomatizations of parallel composition: Status and open problems
- … Problems Abstract Luca Aceto Department of Computer Science Reykjavík University 103 Reykjavík, Iceland…
- Cited by 1 (0 self) – Add To MetaCart
-
A complete equational axiomatization for prefix iteration with silent steps
- … with Silent Steps Luca Aceto Anna Ingólfsdóttir BRICS Report Series RS-95-5 ISSN 0909-0878 January 1995…
- Cited by 4 (0 self) – Add To MetaCart
-
CPO Models for a Class of GSOS Languages
- …CPO Models for a Class of GSOS Languages Luca Aceto Anna Ing'olfsd'ottir y BRICS z…
- Cited by 6 (0 self) – Add To MetaCart
-
Timing and Causality in Process Algebra
- …Timing and Causality in Process Algebra Luca Aceto and David Murphy University of Sussex…
- Cited by 26 (0 self) – Add To MetaCart
-
Is your Model Checker on Time? - On the Complexity of Model Checking for Timed Modal Logics
- … Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics Luca Aceto a…
- Cited by 10 (5 self) – Add To MetaCart
-
MSc Thesis Rational Dialog in Interactive Games
- …MSc Thesis Rational Dialog in Interactive Games Maria Arinbjarnar Adviser Dr. Luca Aceto 2006…
- Add To MetaCart
-
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras ⋆
- …Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras ⋆ Luca Aceto 1 , Wan…
- Add To MetaCart
-
Structural Operational Semantics
- …Structural Luca Aceto* Operational Semantics Wan Fokkink I Chris Verhoef Contents i…
- Cited by 75 (9 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
