Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Person
Person

Person

Walter Vogler

Informatiker

Name

Walter Vogler

Time

ca. 20./21. Jh. (Date of birth and death)

Place

Augsburg (Wirkungsort)
Deutschland

Gender

männlich

Academic degree

Prof. Dr.

Profession

Informatiker (characteristic profession)

Related

Universität Augsburg. Institut für Informatik

Topic

Personen zu Informatik, Datenverarbeitung

Further information

Professur für Theorie verteilter Systeme

Source

https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/swtti/team/walter-vogler/ (Stand: 29.07.2021)

Record type

Person

GND-Identifier

1237862507

Record ID

1237862507

Involved in

show all

A linear-time branching-time perspective on interface automata

Interface automata for shared memory

Interface Automata for Shared Memory

Interface Automata for Shared Memory

Correction to: A linear-time branching-time perspective on interface automata

A linear-time branching-time perspective on interface automata

A linear-time branching-time perspective on interface automata

Modal Interface Automata

Nondeterministic Modal Interfaces

Variants of the language based synthesis problem for Petri nets

Safe Reasoning with Logic LTS

Ready Simulation for Concurrency: It's Logical!

Bisimulation on Speed: A Unified Approach

Bisimulation on Speed: Lower Time Bounds
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal