Algebra of timed frames (Q2710790)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebra of timed frames |
scientific article |
Statements
Algebra of timed frames (English)
0 references
19 December 2002
0 references
discrete time
0 references
frame algebra
0 references
process algebra
0 references
conditional transitions
0 references
signal inserted states
0 references
timed frames
0 references
\(\sigma\)-bisimulation
0 references
