Toggle navigation
Home
People
Departments
Research
About
Login
Search
A formal semantics for concurrent systems
Conferences
Overview
Research
Identity
Additional Document Info
View All
Overview
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
Research
keywords
46 Information and Computing Sciences
Identity
Digital Object Identifier (DOI)
10.1007/3-540-09510-1_46
International Standard Book Number (ISBN) 10
3-540-09510-1
International Standard Book Number (ISBN) 13
9783540095101
Additional Document Info
start page
571
end page
584
volume
71 LNCS