A decentralized analysis of multiparty protocols von van den Heuvel, Bas, Pérez, Jorge A.

Volltext

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks von van den Heuvel, Bas, Pérez, Jorge A

Volltext

Comparing session type systems derived from linear logic von van den Heuvel, Bas, Pérez, Jorge A.

Volltext

Deadlock Freedom for Asynchronous and Cyclic Process Networks von van den Heuvel, Bas, Pérez, Jorge A.

Volltext

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency von Frumin, Dan, D’Osualdo, Emanuele, van den Heuvel, Bas, Pérez, Jorge A.

Volltext

Session Type Systems based on Linear Logic: Classical versus Intuitionistic von van den Heuvel, Bas, Pérez, Jorge A

Volltext

Transportsystem von van den Heuvel, Bas

Volltext bestellen

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version) von Heuvel, Bas van den

Volltext bestellen

Typed Non-determinism in Functional and Concurrent Calculi von van den Heuvel, Bas, Paulus, Joseph W. N., Nantes-Sobrinho, Daniele, Pérez, Jorge A.

Volltext

Modeling Alien-Line Impedance Mismatch in Wideband Vectored Wireline Systems von Medeiros, Eduardo, Magesacher, Thomas, Odling, Per, Dong Wei, Xiang Wang, Qiaojie Li, Eriksson, Per-Erik, Chenguang Lu, Boschma, Jeroen, van den Heuvel, Bas

Volltext

Komponente für ein Kraftfahrzeug, Verfahren zum Zusammenbauen und zum Konstruieren der Komponente von Quiring, Stefan, van den Heuvel, Bas

Volltext bestellen

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version) von van den Heuvel, Bas

Volltext

TRANSPORT SYSTEM von van den Heuvel, Bas

Volltext bestellen

Information Flow Control in Cyclic Process Networks von Heuvel, Bas van den, Derakhshan, Farzaneh, Balzer, Stephanie

Volltext bestellen

Mittels Comprex-Lader aufgeladene Brennkraftmaschine von Kuske, Andreas, Hemink, Wilbert, Heuvel, Bas van den

Volltext bestellen

Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version) von Heuvel, Bas van den, Pérez, Jorge A

Volltext bestellen

System zum Versorgen eines Lieferfahrzeugs mit elektrischer Energie, Betriebsverfahren, Computerprogrammprodukt und computerlesbarer Datenträger von Gijbels, Mark, Kapp, Martin, Heuvel, Bas van den, Stalman, Rob, Souschek, Rainer

Volltext bestellen

Monitoring Blackbox Implementations of Multiparty Session Protocols von Heuvel, Bas van den, Pérez, Jorge A, Dobre, Rares A

Volltext bestellen

Antriebsanordnung für ein Hybridelektrokraftfahrzeug von Kuske, Andreas, Vigild, Christian Winge, Hemink, Wilbert, Heuvel, Bas van den

Volltext bestellen

Selbstzündende Brennkraftmaschine mit Ansaugsystem umfassend eine Gesamtansaugleitung von Hemink, Wilbert, van den Heuvel, Bas, Bonse, Jörg

Volltext bestellen