Is this you? Create Your Porfile
Avatar

F.S. deBoer

Centrum Wiskunde & Informatica

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where F.S. deBoer is active.

Explore More

Publication

Featured researches published by F.S. deBoer.

Theoretical Computer Science | 2009

State-of-the-Art Survey

F.S. deBoer; Marcello M. Bonsangue; E. Madelaine

Software Engineering [SEN] | 1999

A coordination language for mobile components

Farhad Arbab; Marcello M. Bonsangue; F.S. deBoer

SIAM Journal on Computing | 2010

Pushdown System Representation for Unbounded Object Creation

Jurriaan Rot; F.S. deBoer; Marcello M. Bonsangue

Report - Software engineering | 2001

A channel-based coordination model for components

Farhad Arbab; F.S. deBoer; Marcello M. Bonsangue; J.V. Guillen Scholten

Report - Software engineering | 2001

MoCha : a framework for coordination using mobile channels

Farhad Arbab; F.S. deBoer; Marcello M. Bonsangue; J.V. Guillen Scholten

Journal of Computer and System Sciences | 2009

Enterprise Architecture at Work

F.S. deBoer; Marcello M. Bonsangue; Farhad Arbab

Report - Software engineering | 2004

Models and temporal logics for timed component connectors

Farhad Arbab; Christel Baier; F.S. deBoer; Jan J. M. M. Rutten

Department of Computer Science [CS] | 1991

The failure of failures in a paradigm for asynchronous communication

F.S. deBoer; Joost N. Kok; Catuscia Palamidessi; Jan J. M. M. Rutten

Lecture Notes in Computer Science | 2018

It's All About Coordination. Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

F.S. deBoer; Marcello M. Bonsangue; Jan J. M. M. Rutten

Lecture Notes in Computer Science | 2013

Formal methods for components and objects : 11th international symposium, FMCO 2012

Elena Giachino; Reiner Hähnle; F.S. deBoer; Marcello M. Bonsangue

Explore More

Collaboration

Dive into the F.S. deBoer's collaboration.

Top Co-Authors
Avatar

Marcello M. Bonsangue

Leiden University

View shared research outputs
Top Co-Authors
Avatar

Farhad Arbab

Centrum Wiskunde

View shared research outputs
Top Co-Authors
Avatar

Jan J. M. M. Rutten

Radboud University Nijmegen

View shared research outputs
Top Co-Authors
Avatar

Christel Baier

Dresden University of Technology

View shared research outputs
Top Co-Authors
Avatar

Marjan Sirjani

Mälardalen University College

View shared research outputs
Top Co-Authors
Avatar

Catuscia Palamidessi

Utrecht University

View shared research outputs
Top Co-Authors
Avatar

Joost N. Kok

Leiden University

View shared research outputs
Top Co-Authors
Avatar

Jurriaan Rot

Radboud University Nijmegen

View shared research outputs
Top Co-Authors
Avatar

Reiner Hähnle

Technische Universität Darmstadt

View shared research outputs
Top Co-Authors
Avatar

Elena Giachino

University of Bologna

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge