On the abstract specification and formal analysis of synchronization properties of concurrent systems Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Shields, MW
Lauer, Peter Ernst

status

published

publication date

1979

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal