Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones. (Semantics of reactive systems : refinement, bisimulation and structured operational semantics on asynchronous transition systems).
J. Zappettini. Grenoble Institute of Technology, France, (1993)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/EchagueZappettini93
%A Zappettini, Juan Vicente Echagüe
%D 1993
%K dblp
%T Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones. (Semantics of reactive systems : refinement, bisimulation and structured operational semantics on asynchronous transition systems).
@phdthesis{phd/hal/EchagueZappettini93,
added-at = {2020-07-21T00:00:00.000+0200},
author = {Zappettini, Juan Vicente Echagüe},
biburl = {https://www.bibsonomy.org/bibtex/2eb23caa2f0e8603fe0a564052fed9f9f/dblp},
ee = {https://tel.archives-ouvertes.fr/tel-00343639},
interhash = {e28d0d77d951f981e980ab2cbef805cf},
intrahash = {eb23caa2f0e8603fe0a564052fed9f9f},
keywords = {dblp},
school = {Grenoble Institute of Technology, France},
timestamp = {2020-07-24T00:50:53.000+0200},
title = {Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones. (Semantics of reactive systems : refinement, bisimulation and structured operational semantics on asynchronous transition systems).},
year = 1993
}