Add to ORKGWe present a logical framework to reason about distributed systems called the Logic of Events. This logic has been formalized in Nuprl. We developed a suite of tools and tactics in Nuprl to reason about event classes. We also developed a programming language called EventML which allows programmers to write specifications of distributed protocols
This paper introduces a non-interleaved model for the behaviour of distributed computing systems, an...
This thesis focuses on logical formalisms to specify, design and develop self-organising and self-ad...
There is a well-established theory and practice for creating correct-by-construction functional pro...
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it fro...
To produce a program guaranteed to satisfy a given specification one can synthesize it from a forma...
To produce a program guaranteed to satisfy a given specification one cansynthesize it from a formal ...
AbstractEvent structures have come to play an important role in the formal study of the behaviour of...
The Event Rule Framework ERF was created for supporting the development of distributed systems with ...
Since the beginning of the 1980's, the way the computer systems are conceived has changed dramatical...
Specification of real-time behavior of a system requires a significantly different approach compared...
This paper presents RDL, a Rule Definition Language to specify the behavior of distributed systems. ...
Distributed programs are known to be extremely difficult to implement, test, verify, and maintain. T...
Although a large number of formal methods have been reported in the literature, most of them are app...
We provide a logic for distributed computing that has the explanatory and technical power of constr...
We present fundamentals of an approach to object-oriented specification of distrib-uted information ...
This paper introduces a non-interleaved model for the behaviour of distributed computing systems, an...
This thesis focuses on logical formalisms to specify, design and develop self-organising and self-ad...
There is a well-established theory and practice for creating correct-by-construction functional pro...
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it fro...
To produce a program guaranteed to satisfy a given specification one can synthesize it from a forma...
To produce a program guaranteed to satisfy a given specification one cansynthesize it from a formal ...
AbstractEvent structures have come to play an important role in the formal study of the behaviour of...
The Event Rule Framework ERF was created for supporting the development of distributed systems with ...
Since the beginning of the 1980's, the way the computer systems are conceived has changed dramatical...
Specification of real-time behavior of a system requires a significantly different approach compared...
This paper presents RDL, a Rule Definition Language to specify the behavior of distributed systems. ...
Distributed programs are known to be extremely difficult to implement, test, verify, and maintain. T...
Although a large number of formal methods have been reported in the literature, most of them are app...
We provide a logic for distributed computing that has the explanatory and technical power of constr...
We present fundamentals of an approach to object-oriented specification of distrib-uted information ...
This paper introduces a non-interleaved model for the behaviour of distributed computing systems, an...
This thesis focuses on logical formalisms to specify, design and develop self-organising and self-ad...
There is a well-established theory and practice for creating correct-by-construction functional pro...