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