Alain J. Martin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards an energy complexity of computation Information Processing Letters	2002-07-25	Paper
scientific article; zbMATH DE number 910722 (Why is no real title available?)	1996-09-29	Paper
Asynchronous datapaths and the design of an asynchronous adder Formal Methods in System Design	1993-09-30	Paper
Distributed sorting Science of Computer Programming	1990-01-01	Paper
An algorithm for transitive reduction of an acyclic graph Science of Computer Programming	1989-01-01	Paper
Compiling communicating processes into delay-insensitive VLSI circuits Distributed Computing	1986-01-01	Paper
A new generalization of Dekker's algorithm for mutual exclusion Information Processing Letters	1986-01-01	Paper
Fair mutual exclusion with unfair P and V operations Information Processing Letters	1985-01-01	Paper
The probe: An addition to communication primitives Information Processing Letters	1985-01-01	Paper
Distributed mutual exclusion on a ring of processes Science of Computer Programming	1985-01-01	Paper
A presentation of the Fibonacci algorithm Information Processing Letters	1984-01-01	Paper
A general proof rule for procedures in predicate transformer semantics Acta Informatica	1983-01-01	Paper
An axiomatic definition of synchronization primitives Acta Informatica	1981-01-01	Paper

Research outcomes over time

This page was built for person: Alain J. Martin