136
click to vote
FMCO
15 years 5 months ago
2004 Springer 
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
129
Voted
FMCO
15 years 5 months ago
2004 Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
125
Voted
FORMATS
15 years 5 months ago
2004 Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
123
Voted
FORMATS
15 years 3 months ago
2004 Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
122
click to vote
AFP
15 years 5 months ago
2004 Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
|
Formal Methods