193 Infos zu Benedikt Bollig

5 Aktuelle Nachrichten

CIAA : 20th International Conference on Implementation and Application of Automata

European Association for Theoretical Computer Science

9 Profile in Sozialen Netzwerken

StayFriends - Schulfreunde wiederfinden

Benedikt Bollig ist Mitglied bei StayFriends und hat bis diese Schule besucht: Quirinus-Gymnasium Neuss.

36 Bücher zum Namen

Edulliset formal models of communicating systems Adlibris-verkkokaupasta. Innostu ja inspiroidu!

Distribcom is a joint INRIA/ENS research project

29 Wissenschaftliche Publikationen

List of computer science publications by C. Aiswarya

Bibliographic content of CONCUR 2004

Bibliographic content of CIAA 2015

Bibliographic details on Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking.

4 Allgemeine Veröffentlichungen

Formal Models of Communicating Systems

72 Webfunde aus dem Netz

This paper provides an Angluin-style learning algorithm for a class of register automata supporting the notion of fresh data values. More

We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has

We survey various automata models of concurrent systems and their connection with monadic second-order logic: finite automata, class memory automata,

A theme for faculty profile page

European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site

CiteSeerX - Scientific documents that cite the following paper: A.: A Kleene theorem and model checking algorithms for existentially bounded communicating...

We consider systems with unboundedly many processes that communicate through shared memory. In that context, simple verification questions have a high...

Communicating Finite-State Machines and Two-Variable Logic

This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in

We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and...

description of an Indo-French research program on the control and verification of timed and distributed systems