Sökning: "timed calculi"

Hittade 1 avhandling innehållade orden timed calculi.

1. 1. A calculus of real time systems

   Författare :Yi Wang; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; timed calculi; Milner s CCS; process algebras; real time systems;

   Sammanfattning : .... LÄS MER