...
机译:Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions
Univ Kaiserslautern, Dept Comp Sci, D-67653 Kaiserslautern, Germany;
Virginia Tech, Elect & Comp Engn, Blacksburg, VA USA;
INRIA, Unite Rech Rennes Bretagne Atlantique, Rennes, France;
Models of computation; Co-simulation; Synchronous vs. asynchronous models; Guarded command language;