4520 search results - page 58 / 904 » Algebraic Techniques for Timed Systems |
96
Voted
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion. We suggest viewing PA-processes as trees, and using treeautomata technique...
92
Voted
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
100
click to vote
ENTCS
2007
15 years 1 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
101
Voted
FCT
2003
Springer
15 years 7 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
168
click to vote
DISCO
1993
15 years 6 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...