Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Real time agents
Home
Publications
Real time agents
Real time agents
LC
Luoa Cardelli
Luoa Cardelli
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1982
book chapter
Published by
Springer Science and Business Media LLC
p.
94-106
https://doi.org/10.1007/bfb0012760
Abstract
No abstract available
Keywords
NORMAL FORM
OPERATIONAL SEMANTIC
FACTORISATION THEOREM
SEQUENCE FORM
RECURSIVE DEFINITION
Cited by 7 articles