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

Volltext

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

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

Volltext

Asynchronous Functional Sessions: Cyclic and Concurrent 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

Asynchronous Functional Sessions: Cyclic and Concurrent 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

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

Volltext

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

Comparing Session Type Systems derived from Linear Logic von Heuvel, Bas van den, Pérez, Jorge A

Volltext bestellen

Making Smart TV Operator Apps comparable with TV Boxes (STBs) von Gabriel, Alexandre, Thomas, Emmanuel, Niamut, Omar, Veen, Teun Van Der, Heuvel, Bas Van Den, Gunkel, Simon

Volltext bestellen

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

Volltext bestellen

Verfahren zum Trainieren eines Fahrers eines Kraftfahrzeugs von Quiring, Stefan, van den Heuvel, Bas

Volltext bestellen