Statecharts: A visual formalism for complex systems
Science of Computer Programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Elements of interaction: Turing award lecture
Communications of the ACM
Interaction as a basis for empirical computer science
ACM Computing Surveys (CSUR)
Evolving algebras 1993: Lipari guide
Specification and validation methods
Why interaction is more powerful than algorithms
Communications of the ACM
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Priority Scheduling Versus Pre-Run-Time Scheduling
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
An agent-based approach for building complex software systems
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Timing Analysis of Real-Time Software: A Practical Approach to the Specification and Design of Real-Time
UML for real
| Hi-index | 0.00 |
Agent-based paradigm is increasingly applied to building computing systems where conventionally latent requirements, e.g. time-sensitivity of data and event validity, and/or truth-values of predicates, timeliness of communication, and others become essential for correct functioning of systems. In many such cases empirical demonstration of expected behaviour is not sufficient, formal verification of certain properties becomes desirable. This assumes that interaction-based models of computing are to be enhanced by introducing sufficiently sophisticated time. Such enhancement is not too simple since time has been abstracted away from models of computing during the evolution of computer science. This paper introduces some preliminary ideas for developing time-sensitive interaction-based models of computations.