Keyphrases
Shared Processors
66%
Preemption
66%
Refinement Relation
66%
Semantic Development
66%
Timed Process Algebra
66%
Single Processor
66%
Model Sharing
66%
Program Semantics
66%
SPIN Model Checker
66%
Concurrent Programs
66%
Concurrency Theory
66%
Concurrent Objects
66%
Java
66%
Protected Objects
66%
Java Classes
66%
Formal Definition
66%
Process Algebra
66%
Kernel Development
66%
Process Scheduling
66%
Concurrent Processes
66%
Embedded Software Systems
66%
Mathematical Set Theory
33%
Interval Logic
33%
Small Scale Industry
33%
Professional Labour Markets
33%
Mathematical Definitions
16%
Vienna
16%
Computer Science
Concurrent Process
100%
Process Algebra
66%
Concurrency
66%
Protected Object
66%
Formal Definition
66%
Software Systems
66%
Development Project
66%
Real Time Systems
66%
Embedded Software
66%
Single Processor
33%
Scheduling Process
33%
Refinement Relation
33%
communicating sequential process
33%
Language Semantics
33%
Programming Language
33%
Engineering
Design Method
66%
System Requirement
66%
Engineering
66%
Data Type
66%
Practical Problem
66%