Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Technische Universität München Home
Hilfe und FAQ
English
Deutsch
Home
Personen
Einrichtungen
Projekte
Publikationen
Forschungsdatensätze
Auszeichnungen
Aktivitäten
Presseberichte
Forschungsimpact
Nach Expertise, Namen oder Zugehörigkeit suchen
Captured: Compositional and Modular Approaches to Concurrency
Manfred Broy
TUM Emeriti of Excellence
Publikation
:
Beitrag in Buch/Bericht/Konferenzband
›
Kapitel
›
Begutachtung
Übersicht (Administrator/-in)
Fingerprint
Fingerprint
Untersuchen Sie die Forschungsthemen von „Captured: Compositional and Modular Approaches to Concurrency“. Zusammen bilden sie einen einzigartigen Fingerprint.
sortieren
Gewicht:
Alphabetisch
Keyphrases
Concurrency
100%
Modular Approach
100%
Compositional Approach
100%
Concurrent Programs
66%
Compositionality
66%
Cliff
66%
Software-based
33%
Granularity
33%
Software Design
33%
Ghosts
33%
Software Engineering
33%
Programming Languages
33%
Design Abstraction
33%
Modular Specification
33%
Development Method
33%
Systems Engineering
33%
Interactive Systems
33%
Verification Approaches
33%
Shared Variables
33%
Specification Method
33%
Modular Verification
33%
Modular Method
33%
Concurrent Software
33%
Atomicity
33%
Lamport
33%
Shared State
33%
Systems-based
33%
Compositional Specification
33%
Compositional Methods
33%
Computer Science
Concurrency
100%
Concurrent Program
66%
Data Stream
33%
Granularity
33%
Programming Language
33%
Design Abstraction
33%
Software Design
33%
Interactive System
33%
concurrent software
33%
Leslie Lamport
33%