Real-Time Programming and Asynchronous Message Passing

@inproceedings{Koymans1983RealTimePA,
  title={Real-Time Programming and Asynchronous Message Passing},
  author={Ron Koymans and Jan Vytopil and Willem P. de Roever},
  booktitle={PODC},
  year={1983}
}
This paper indicates a method of describing real-time processes and their asynchronous communication by means of message exchanges. This description method is based upon an extension of linear time temporal logic to a special temporal logic in which real-time and asynchronous message passing properties can be expressed. We give a model of this logic, define new operators and show amongst others how they can be applied to specify real-time asynchronous message passing and an abstract real-time… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 54 CITATIONS

Implemention BiSS Communication of Encoder System without Slave Module

  • 2018 19th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
  • 2018
VIEW 2 EXCERPTS
CITES METHODS

A Trustworthy Usage Control Enforcement Framework

  • 2011 Sixth International Conference on Availability, Reliability and Security
  • 2011
VIEW 1 EXCERPT
CITES BACKGROUND

Compositional reasoning using intervals and time reversal

  • Annals of Mathematics and Artificial Intelligence
  • 2011
VIEW 2 EXCERPTS
CITES BACKGROUND

An axiomatization of PCTL*

  • Inf. Comput.
  • 2005
VIEW 1 EXCERPT
CITES BACKGROUND

FILTER CITATIONS BY YEAR

1986
2019

CITATION STATISTICS

  • 1 Highly Influenced Citations