1875 search results - page 32 / 375 » A Calculus of Broadcasting Systems |
138
Voted
ICSE
2008
IEEE-ACM
16 years 4 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...
130
Voted
TLCA
2007
Springer
15 years 9 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 ...
86
Voted
TIC
1998
Springer
15 years 7 months ago
1998
Springer
94
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
122
Voted
RTS
2011
14 years 6 months ago
2011