#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1992

2014

- This year (0)
- Last 5 years (3)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Patrice Brémond-Grégoire, Insup Lee
- Theor. Comput. Sci.
- 1997

The correctness of real-time distributed systems depends not only on the function they compute but also on their timing characteristics. Furthermore, these characteristics are strongly influenced by the delays due to synchronization and resource availability. Process algebras have been used successfully to define and prove correctness of distributed… (More)

- Patrice Brémond-Grégoire, Insup Lee, Richard Gerber
- CONCUR
- 1993

- Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee
- Inf. Comput.
- 1997

A real-time process algebra, called ACSR, has been developed to facilitate the specification and analysis of real-time systems. ACSR supports synchronous timed actions and asynchronous instantaneous events. Timed actions are used to represent the usage of resources and to model the passage of time. Events are used to capture synchronization between… (More)

- Insup Lee, Patrice Brémond-Grégoire, Richard Gerber, Patrice Br6inond-GrCgoire, Patrice Brbmond-Grhgoire, PA
- 2014

There has recently been significant progress in the development of timed process algebras for the specification and analysis of real-time systems. This paper describes a timed process algebra called ACSR. ACSR supports synchronous timed actions and asynchronous instantaneous events. Timed actions are used to represent the usage of resources and to model the… (More)

- Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee
- NAPAW
- 1992

- Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee, Patrice Br6mond-Grdgoire, Patrice Brkmond-Grkgoire
- 2014

Recently, significant progress has been made in the development of timed process algebras for the specification and analysis of real-time systems; one of which is a timed process algebra called ACSR. ACSR supports synchronous timed actions and asynchronous instantaneous events. Timed actions are used to represent the usage of resources and to model the… (More)

- Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee, Patrice Brkmond-Grkgoire, Susan Davidson
- 2014

Three formal methods for specifying properties of real-time systems are reviewed and used in a common example. Two of them offer a graphical representation and the third is an algebraic language. The example is that of an automatic railroad system with sensors to detect the train position and controls for the gate mechanism. Associated with each formalism… (More)

- ‹
- 1
- ›