Concepedia

Syntax and semantics of timed Chi

D.A. van Beek, Ka Lok Man, Reniers, J.E. Rooda, R.R.H. Schiffelers

DCT rapporten · 2005 · 24 citations · 16 references

Concepts

References

16

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

, , +1

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

, , +6

The Algebra of Timed Processes, ATP: Theory and Application

Xavier Nicollin, Joseph Sifakis · Information and Computation · 1994 · 261 citations

, , +9

Concrete process algebra

J. C. M. Baeten, C. Verhoef · TU/e Research Portal · 1995 · 83 citations · Full text

, , +9

Formal specification and analysis of industrial systems

V. Bos, Jjt Jeroen Kleijn · Data Archiving and Networked Services (DANS) · 2002 · 74 citations · Full text

, , +4