Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Specification and Analysis of Concurrent Systems
Home
Publications
Specification and Analysis of Concurrent Systems
Specification and Analysis of Concurrent Systems
RJ
Ryszard Janicki
Ryszard Janicki
PL
Peter E. Lauer
Peter E. Lauer
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1992
book
Published by
Springer Nature
https://doi.org/10.1007/978-3-642-77337-2
Abstract
No abstract available
Keywords
NOTATION
PARALLELITÄT
AUTOMATA
AUTOMATA THEORY
CONCURRENCY
CONCURRENT PROGRAMMING
DISTRIBUTED SYSTEMS
FORMAL LANGUAGE
FORMAL SPECIFICATION
LANGUAGE
OPERATING SYSTEM
PARALLELISM
PETRI NET
PROGRAMMING
SCHEDULING
Cited by 18 articles