Sciweavers

Share
8 search results - page 1 / 2
» amast 1997
Sort
View
AMAST
1997
Springer
10 years 8 months ago
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
AMAST
1997
Springer
10 years 8 months ago
The Circal System
Antonio Cerone, Alex J. Cowie, George J. Milne
AMAST
1997
Springer
10 years 8 months ago
Refinement Rules for Real-Time Multi-tasking Programs
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
Colin J. Fidge
books