| Document Date: 2012-11-27 10:42:32
Open Document File Size: 951,83 KBShare Result on Facebook
Company IdC / / IndustryTerm industrial computing systems / tensor product / much smaller systems / logical systems / hardware systems / instantaneous communications / real-time programming / synchronous products / embedded systems / labelled transition systems / mathematical tools / reactive systems / synchronous product / cartesian product / real-time systems / / OperatingSystem Aix / / Organization Adrien Guatto† Institut / / Person Adrien Guatto / / Position author / software controller / wB / abstracted model of synchronous communication / This author / / ProgrammingLanguage Esterel / / PublishedMedium la Recherche / /
SocialTag |
Synchronous Machines: a Traced Category Marc Bagnol∗ & Adrien Guatto† Institut de Mathématiques de Luminy, Aix-Marseille Université Département d’Informatique de l’École normale supérieure and INRIA Rocquenc