Sciweavers

73 search results - page 1 / 15
» Composing Web-service-like abstract state machines (ASM)
Sort
View
ASM
2000
ASM
13 years 9 months ago
Investigating Java Concurrency Using Abstract State Machines
Yuri Gurevich, Wolfram Schulte, Charles Wallace