#### Filter Results:

- Full text PDF available (129)

#### Publication Year

1986

2017

- This year (14)
- Last 5 years (61)
- Last 10 years (104)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Luca Aceto, Wan Fokkinky, Chris Verhoefz
- 1999

Structural Operational Semantics (SOS) provides a framework to give an operational semantics to programming and speci cation languages, which, because of its intuitive appeal and exibility, has found considerable application in the theory of concurrent processes. Even though SOS is widely used in programming language semantics at large, some of its most… (More)

These notes are intended to support the course on Semantics and Verification, and may be read independently or in conjunction with Milner’s textbook [15]. They are under constant revision, and their most recent version is available at the URL http://www.cs.auc.dk/∼luca/SV/intro2ccs.pdf. Please let us know of any comment you may have, or typographical… (More)

- Luca Aceto, Bard Bloom, Frits W. Vaandrager
- LICS
- 1992

Many process algebras are deened by structural operational semantics (SOS). Indeed , most such deenitions are nicely structured and t the GSOS format of 19]. We give a procedure for converting any GSOS language deenition to a nite complete equa-tional axiom system (possibly with one innnitary induction principle) which precisely characterizes strong… (More)

- Luca Aceto, David Murphy
- Acta Informatica
- 1996

There has been considerable controversy in concurrency theory between the ‘interleaving’ and ‘true concurrency’ schools. The former school advocates associating a transition system with a process which captures concurrent execution via the interleaving of occurrences; the latter adopts more complex semantic structures to avoid reducing concurrency to… (More)

- Luca Aceto, Matthew Hennessy
- ICALP
- 1991

In this case, the more detailed specification N S P E G is obtained from the more abstract one S P E C by action refinement, refining the action input to the process P and the action output to the process Q. Process algebras have been developed as prototype specification languages for concurrent systems, see [Mi189], [Hoare85], [BK85], but, as it has been… (More)

- Luca Aceto, Matthew Hennessy
- Mathematical Foundations of Programming Semantics
- 1989

In this paper, a process algebra that incorporates explicit representations of successful termination, deadlock, and divergence is introduced and its semantic theory is analyzed. Both an operational and a denotational semantics for the language is given and it is shown that they agree. The operational theory is based upon a suitable adaptation of the notion… (More)

- Luca Aceto, David Murphy
- CONCUR
- 1993

- Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
- AMAST
- 2002

This paper gives an equational axiomatization of probabilistic bisimulation equivalence for a class of finite-state agents previously studied by Stark and Smolka ((2000) Proof, Language, and Interaction: Essays in Honour of Robin Milner, pp. 571–595). The axiomatization is obtained by extending the general axioms of iteration theories (or iteration… (More)

- Luca Aceto, Augusto Burgueño, Kim G. Larsen
- TACAS
- 1998

In this paper we develop an approach to model-checking for timed automata via reachability testing. As our specification formalism, we consider a dense-time logic with clocks. This logic may be used to express safety and bounded liveness properties of real-time systems. We show how to automatically synthesize, for every logical formula φ, a socalled test… (More)

- Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim G. Larsen
- FSTTCS
- 1998

In this paper we provide a complete characterization of the class of properties of (networks of) timed automata for which model checking can be reduced to reachability checking in the context of testing automata.