Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
A timed model for communicating sequential processes
International Colloquium on Automata, Languages and Programming on Automata, languages and programming
A theory for nondeterminism, parallelism, communication, and concurrency
Theoretical Computer Science
Specification and top-down design of distributed systems
Journal of Computer and System Sciences
Predicate transfer and timeout in message passing systems
Information Processing Letters
Predicative specifications for functional programs describing communication networks
Information Processing Letters
Full abstraction of a real-time denotational semantics for an OCCAM-like language
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Compositional semantics for real-time distributed computing
Information and Computation
A proof of the Kahn principle for input/output automata
Information and Computation
Temporal logic for real time systems
Temporal logic for real time systems
A fully abstract trace model for dataflow networks
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A functional programming approach to the specification and verification of concurrent systems
Formal Aspects of Computing
Automated verification of timed transition models
Proceedings of the international workshop on Automatic verification methods for finite state systems
Automata for modeling real-time systems
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Analysis of discrete event coordination
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Multivalued possibilities mappings
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Specifying real-time properties with metric temporal logic
Real-Time Systems
A hierarchy of domains for real-time distributed computing
Proceedings of the fifth international conference on Mathematical foundations of programming semantics
Factorizing proofs in timed CSP
Proceedings of the fifth international conference on Mathematical foundations of programming semantics
A denotational real-time semantics for shared processors
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages
Real-time behaviour of asynchronous agents
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Scenarios: A Model of Non-Determinate Computation
Proceedings of the International Colloquium on Formalization of Programming Concepts
A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
On the Semantics of Fair Parallelism
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
An Old-Fashioned Recipe for Real Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proving real-time properties of programs with temporal logic
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Real-time programming and asynchronous message passing
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Decomposing Properties into Safety and Liveness
Decomposing Properties into Safety and Liveness
Relating Computation and Time
Specifying mode requirements of embedded systems
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Structured specifications and implementation of nondeterministic data types
Nordic Journal of Computing
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Programming methodology
SimRank: a measure of structural-context similarity
Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining
A set-theoretic framework for component composition
Fundamenta Informaticae
A Set-Theoretic Framework for Component Composition
Fundamenta Informaticae
| Hi-index | 0.00 |
A formal model and a logical framework for the functional specification of time-sensitive communicating systems and their interacting components are outlined. The specification method is modular with respect to sequential composition, parallel composition, and communication feedback. Nondeterminism is included by underspecification. The application of the specification method to timed communicating functions is demonstrated. Abstractions from time are studied. In particular, a rational is given for the chosen concepts of the functional specification technique. The relationship between system models based on nondeterminism and system models based on explicit time notions is investigated. Forms of reasoning are considered. The alternating bit protocol is used as a running example.