Refinement of actions for real-time concurrent systems with causal ambiguity

Acta Informatica ◽

10.1007/s00236-005-0172-4 ◽

2005 ◽

Vol 42 (6-7) ◽

pp. 389-418 ◽

Author(s):

Mila Majster-Cederbaum ◽

Jinzhao Wu ◽

Houguang Yue

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Causal Ambiguity

Download Full-text

Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30482-1_37 ◽

2004 ◽

pp. 449-463 ◽

Author(s):

Mila Majster-Cederbaum ◽

Jinzhao Wu ◽

Houguang Yue ◽

Naijun Zhan

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Causal Ambiguity

Download Full-text

Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

10.21236/ada329736 ◽

1997 ◽

Author(s):

Scott A. Smolka

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Automated Tools

Download Full-text

Scalable compositional verification of high-level real-time concurrent systems from 10/sup 7/ to 10/sup 85/ states

Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications RTCSA-96 ◽

10.1109/rtcsa.1996.554967 ◽

2002 ◽

Author(s):

Farn Wang

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Compositional Verification ◽

Download Full-text

Incremental architectural modeling and verification of real-time concurrent systems

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730567 ◽

2002 ◽

Author(s):

Yi Deng ◽

Jiacun Wang ◽

R. Sinha

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Architectural Modeling

Download Full-text

Scalable compositional reachability analysis of real-time concurrent systems

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509535 ◽

2002 ◽

Author(s):

Farn Wang

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Reachability Analysis

Download Full-text

A real-time specification method for specifying and validating real-time concurrent systems

Proceedings of Phoenix Conference on Computers and Communications ◽

10.1109/pccc.1993.344533 ◽

2002 ◽

Author(s):

K.-Y. Sung ◽

J.E. Urban

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Specification Method

Download Full-text

COVERS 3.0-an object-oriented environment for modeling, simulation and analysis of real-time concurrent systems

Proceedings First International Workshop on Distributed Interactive Simulation and Real Time Applications ◽

10.1109/idsrta.1997.568656 ◽

2002 ◽

Author(s):

A.V. Borshchev ◽

Y.G. Karpov ◽

V.V. Roudakov

Keyword(s):

Real Time ◽

Object Oriented ◽

Concurrent Systems ◽

Modeling Simulation

Download Full-text

Retrospective exploration of safety properties in real-time concurrent systems

16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings ◽

10.1109/dasc.1997.635010 ◽

2002 ◽

Author(s):

N. Prywes ◽

P. Rehmet ◽

O. Sokolsky ◽

I. Lee

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Safety Properties

Download Full-text

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-540-39866-0_45 ◽

2004 ◽

pp. 450-461 ◽

Author(s):

Victor V. Kuliamin ◽

Alexander K. Petrenko ◽

Nick V. Pakoulin ◽

Alexander S. Kossatchev ◽

Igor B. Bourdonov

Keyword(s):

Real Time ◽

Concurrent Systems

Download Full-text

Formal Environment and Tools Description for the Analysis of Real time Concurrent Systems

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_10 ◽

1990 ◽

pp. 196-235 ◽

Author(s):

Vangalur S. Alagar ◽

Geetha Ramanathan

Keyword(s):

Real Time ◽

Concurrent Systems

Download Full-text