A practical approach to implementing real-time semantics

Authors:
Girish Bhat;Rance Cleaveland;Gerald Lüttgen
Affiliations:
MakeLabs, A Division of Make Systems, Inc., 4000 Regency Parkway, Suite 150, Cary, NC 27511‐8502, USA;Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY 11794‐4400, USA;Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, Hampton, VA 23681‐2199, USA E-mail: luettgen@icase.edu
Venue:
Annals of Software Engineering
Year:
1999

Citing 21
Cited 6

Communicating sequential processes

Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Communication and concurrency

Communication and concurrency
Priorities in process algebras

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Design and validation of computer protocols

Design and validation of computer protocols
CCS + time = an interleaving model for real time systems

Proceedings of the 18th international colloquium on Automata, languages and programming
A temporal calculus of communicating systems

CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Applications of process algebra

Applications of process algebra
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
The concurrency workbench: a semantics-based tool for the verification of concurrent systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
CCS with priority choice

Information and Computation
A process algebra of communicating shared resources with dense time and priorities

Theoretical Computer Science
Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems

TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities

NAPAW '92 Proceedings of the First North American Process Algebra Workshop
A Front-End Generator for Verification Tools

TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Translating Timed Process Algebra into Prioritized Process Algebra

Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
The NCSU Concurrency Workbench

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Priority in process algebras

Priority in process algebras
Tableau-based approaches to model-checking

Tableau-based approaches to model-checking

Specification formalisms for component-based concurrent systems

ACM SIGSOFT Software Engineering Notes
Efficient Model Checking Via Büchi Tableau Automata

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Modelling and verifying web service orchestration by means of the concurrency workbench

ACM SIGSOFT Software Engineering Notes
Priority and abstraction in process algebra

Information and Computation
On Observing Dynamic Prioritised Actions in SOC

ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Computing platforms

Embedded Systems Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

We give a formal framework for studying real‐time discrete‐event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes with behaviors in the intersection of the behaviors ...