Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Luca Aceto
L. Aceto and M. Hennessy. Towards action-refinement in process
algebras. Information and Computation , 103(2):204-269,
April 1993.
References
and Citations.
Luca Aceto, Bard Bloom, and Frits Vaandrager. Turning SOS rules into equations.
Information and Computation , 111(1):1-52, 15 May 1994.
Abstract,
References,
Citations,
etc.
L. Aceto and M. Hennessy. Adding action refinement to a finite
process algebra. Information and Computation ,
115(2):179-247, December 1994.
Abstract,
References,
and Citations.
Luca Aceto, Rob van Glabbeek, Wan Fokkink, and Anna
Ingólfsdóttir. Axiomatizing prefix iteration with
silent steps. Information and Computation ,
127(1):26-40, 25 May 1996.
Abstract,
References,
and Citations.
Luca Aceto and Anna Ingólfsdóttir. CPO models for compact GSOS
languages. Information and Computation , 129(2):107-141,
15 September 1996.
Abstract
and References.
Luca Aceto and Wan Fokkink. An equational axiomatization for
multi-exit iteration. Information and Computation ,
137(2):121-158, 15 September 1997.
Abstract,
References,
and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database