152
click to vote
FMCO
15 years 7 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...
144
click to vote
FMCO
15 years 7 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...
143
Voted
IFM
15 years 7 months ago
2004 Springer 
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
143
click to vote
FORMATS
15 years 5 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...
141
click to vote
ISOLA
15 years 7 months ago
2004 Springer 
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
|
Formal Methods