Sciweavers

1699 search results - page 21 / 340
» A timed semantics of Orc
Sort
View
LISP
2007
52views more  LISP 2007»
15 years 6 months ago
Semantics and pragmatics of Real-Time Maude
Peter Csaba Ölveczky, José Meseguer
ANSOFT
1999
43views more  ANSOFT 1999»
15 years 5 months ago
A Practical Approach to Implementing Real-Time Semantics
Girish Bhat, Rance Cleaveland, Gerald Lüttgen
TIME
2002
IEEE
15 years 11 months ago
Indexed Flows in Temporal x Modal Logic with Functional Semantics
Alfredo Burrieza, Inman P. de Guzmán, Emili...