Publications, research, and other scholarship by faculty across all schools, departments, and centers at Washington University in St. Louis

Follow


Research from 1979

PDF

Algebraic Characterization of Petri Nets
Takayuki D. Kimura

PDF

Behavioral Abstraction of Communicating Sequential Processes
Takayuki D. Kimura

PDF

Gauss-Jordan Elimination By VLSI Mech-Connected Processors
Takayuki D. Kimura

PDF

Performance Parameters Related to the Synchronization of Clocked Systems
Willie Yaw-Poh Lim

PDF

Concurrency Coordination in a Locally Distributed Database System
Gruia-Catalin Roman

PDF

Total System Development Framework
Gruia-Catalin Roman

PDF

Verification Procedures Supporting Software Systems Development
Gruia-Catalin Roman

PDF

Synchronization Strategies
Mishell J. Stucki and Jerome R. Cox Jr