%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 }