Formal behavioural specification of concurrent systems without globality assumptions Journal Articles

Overview
Research
Identity
Additional Document Info
View All

authors

Lauer, Peter Ernst
Shields, MW
Cotronis, JY

status

published

publication date

1981

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal