Search Sciweavers | Sciweavers

2106 search results - page 12 / 422

» Operational Semantics for DyLPs

click to vote

DAGSTUHL
2003

93views Software Engineering» more DAGSTUHL 2003»

Operational Semantics of Security Protocols

13 years 11 months ago

Download alexandria.tue.nl

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...

Cas J. F. Cremers, Sjouke Mauw

claim paper

Read More »

click to vote

SAJ
2000

101views more SAJ 2000»

Algebraic results for structured operational semantics

13 years 9 months ago

Download www.cs.wits.ac.za

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...

Vashti C. Galpin

claim paper

Read More »

click to vote

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

An Event-Based Structural Operational Semantics of Multi-Threaded Java

14 years 2 months ago