Search Sciweavers | Sciweavers

4385 search results - page 26 / 877

» Abstraction for Concurrent Objects

137

click to vote

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

15 years 10 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

110

click to vote

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 10 months ago

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

111

click to vote

SIGADA
1998
Springer

112views Programming Languages» more SIGADA 1998»

Object-Oriented and Concurrent Program Design Issues in Ada 95

15 years 10 months ago

Download www.sigada.org

Stephen H. Kaisler, Michael B. Feldman

claim paper

Read More »

165

click to vote

DEXAW
1996
IEEE

155views Database» more DEXAW 1996»

Real-Time Scheduling for Semantic Concurrency Control of Object-Oriented Database Systems

15 years 10 months ago

Download www.dee.ufcg.edu.br

Yoshihiko Murakami, Mayumi Nishikaku, Tsukasa Okad...

claim paper

Read More »

131

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers