Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
Home
Publications
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
DT
Dirk A. Taubner
Dirk A. Taubner
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1989
book
Published by
Springer Nature
https://doi.org/10.1007/3-540-51525-9
Abstract
No abstract available
Keywords
CCS
ENDLICHE AUTOMATEN
FINITE AUTOMATA
OPERATIONAL SEMANTICS
OPERATIONELLE SEMANTIK
PARALLEL PROCESSES
PARALLELE PROZESSE
PETRI NETS
PETRINETZE
AUTOMATA
PETRI NET
PROGRAMMING
PROGRAMMING LANGUAGE
SEMANTICS
Cited
Cited by 59 articles
Scroll to top