A. J. M. van Gasteren

Available identifiers

zbMath Open van-gasteren.antonetta-johanna-mariaMaRDI QIDQ918206

List of research outcomes

Publication	Date of Publication	Type
Derivation of a termination detection algorithm for distributed computations	2020-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4258224	1999-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4364526	1997-12-15	Paper
Peterson's mutual exclusion algorithm revisited	1997-10-26	Paper
Calculating path algorithms	1994-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4281661	1994-04-07	Paper
On the shape of mathematical arguments	1993-01-23	Paper
Comments on ``On the proof of a distributed algorithm: Always-true is not invariant	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3824309	1988-01-01	Paper
A simple fixpoint argument without the restriction to continuity	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3681916	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3719822	1985-01-01	Paper
An introduction to three algorithms for sorting in situ	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3957930	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: A. J. M. van Gasteren