Artikel mit Open-Access-Mandaten - Uwe NestmannWeitere Informationen
Nicht verfügbar: 1
Higher-order dynamics in event structures
DS Karcher, U Nestmann
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
Mandate: Deutsche Forschungsgemeinschaft
Verfügbar: 8
Full abstraction for expressiveness: history, myths and facts
D Gorla, U Nestmann
Mathematical Structures in Computer Science 26 (4), 639-654, 2016
Mandate: Deutsche Forschungsgemeinschaft
On distributability in process calculi
K Peters, U Nestmann, U Goltz
European Symposium on Programming, 310-329, 2013
Mandate: Deutsche Forschungsgemeinschaft
Is it a “good” encoding of mixed choice?
K Peters, U Nestmann
International Conference on Foundations of Software Science and …, 2012
Mandate: Deutsche Forschungsgemeinschaft
A formal semantics for protocol narrations
S Briais, U Nestmann
Theoretical Computer Science 389 (3), 484-511, 2007
Mandate: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung
Dynamic causality in event structures
Y Arbach, DS Karcher, K Peters, U Nestmann
Logical Methods in Computer Science 14, 2018
Mandate: Deutsche Forschungsgemeinschaft
Breaking symmetries
K Peters, U Nestmann
Mathematical Structures in Computer Science 26 (6), 1054-1106, 2016
Mandate: Deutsche Forschungsgemeinschaft
Open bisimulation, revisited
S Briais, U Nestmann
Theoretical computer science 386 (3), 236-271, 2007
Mandate: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung
Synchrony versus causality in distributed systems
K Peters, JW Schicke-Uffmann, U Goltz, U Nestmann
Mathematical Structures in Computer Science 26 (8), 1459-1498, 2016
Mandate: Deutsche Forschungsgemeinschaft
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt