2106 search results - page 12 / 422 » Operational Semantics for DyLPs |
100
Voted
DAGSTUHL
2003
15 years 3 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
105
Voted
SAJ
2000
15 years 1 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
JAVA
1999
Springer
15 years 6 months ago
1999
Springer
90
Voted
AMAST
1997
Springer
15 years 6 months ago
1997
Springer
