C
Cornelis A. Middelburg
Researcher at University of Amsterdam
Publications - 183
Citations - 2186
Cornelis A. Middelburg is an academic researcher from University of Amsterdam. The author has contributed to research in topics: Process calculus & Thread (computing). The author has an hindex of 23, co-authored 180 publications receiving 2145 citations. Previous affiliations of Cornelis A. Middelburg include Eindhoven University of Technology & Utrecht University.
Papers
More filters
Book
Process Algebra with Timing
TL;DR: This book is unique in presenting four algebraic theories about processes, each dealing with timing from a different point of view, in a coherent and systematic way and all presented theories are extensions of the algebra of communicating processes.
Journal ArticleDOI
Thread algebra for strategic interleaving
TL;DR: In this paper, an algebraic theory about threads and multi-threading is presented, in which deterministic interleaving strategy determines how threads are interleaved in a deterministic deterministic program under execution.
Journal ArticleDOI
A typed logic of partial functions reconstructed classically
TL;DR: In this article, a comprehensive description of a typed version of the LPF logic known as LPF is given, which is basic to formal specification and verified design in the software development method VDM and can be reconstructed classically by embedding into classical infinitary logic.
Thread Algebra for Strategic Interleaving
TL;DR: This work takes a thread as the behavior of a sequential deterministic program under execution and multi-threading as the form of concurrency provided by contemporary programming languages such as Java and C# and shows that there are properties of multi- threads that depend on the interleaving strategy used.
Journal Article
Process algebra with timing: Real time and discrete time
TL;DR: In this article, the authors present real-time and discrete-time versions of ACP with absolute timing and relative timing, called ACPsat and ACPdrt, respectively.