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
Fair mutual exclusion with unfair P and V operations	1985-01-01	Paper
The probe: An addition to communication primitives	1985-01-01	Paper
Distributed mutual exclusion on a ring of processes	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

This page was built for person: Alain J. Martin