1875 search results - page 32 / 375 » A Calculus of Broadcasting Systems |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
TIC
1998
Springer
13 years 11 months ago
1998
Springer
ICALP
2009
Springer
14 years 7 months ago
2009
Springer
RTS
2011
12 years 10 months ago
2011