Search Sciweavers | Sciweavers

2106 search results - page 39 / 422

» Operational Semantics for MSC'96

click to vote

SAJ
2000

101views more SAJ 2000»

Algebraic results for structured operational semantics

14 years 11 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 »

100

click to vote

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

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

15 years 4 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

click to vote

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

15 years 4 months ago

Download www.imamu.edu.sa

Pieter H. Hartel, Michael J. Butler, Moshe Levy

claim paper

Read More »

click to vote

AMAST
1997
Springer

108views Software Engineering» more AMAST 1997»

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics

15 years 4 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

click to vote

EGICE
2006

203views Applied Computing» more EGICE 2006»

Operative Models for the Introduction of Additional Semantics into the Cooperative Planning Process

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers