Alain J. Martin

Available identifiers

zbMath Open martin.alain-jMaRDI QIDQ685121

List of research outcomes

Publication	Date of Publication	Type
Towards an energy complexity of computation	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4885880	1996-09-29	Paper
Asynchronous datapaths and the design of an asynchronous adder	1993-09-30	Paper
Distributed sorting	1990-01-01	Paper
An algorithm for transitive reduction of an acyclic graph	1989-01-01	Paper
Compiling communicating processes into delay-insensitive VLSI circuits	1986-01-01	Paper
A new generalization of Dekker's algorithm for mutual exclusion	1986-01-01	Paper
Distributed mutual exclusion on a ring of processes	1985-01-01	Paper
The probe: An addition to communication primitives	1985-01-01	Paper
Fair mutual exclusion with unfair P and V operations	1985-01-01	Paper
A presentation of the Fibonacci algorithm	1984-01-01	Paper
A general proof rule for procedures in predicate transformer semantics	1983-01-01	Paper
An axiomatic definition of synchronization primitives	1981-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: Alain J. Martin