Michael G. Main

Available identifiers

zbMath Open main.michael-gMaRDI QIDQ685426

List of research outcomes

Publication	Date of Publication	Type
Semantic models for total correctness and fairness	2023-04-12	Paper
STABILITY AND CHAOS IN REACTION SYSTEMS	2013-01-18	Paper
A TOUR OF REACTION SYSTEMS	2012-08-29	Paper
FUNCTIONS DEFINED BY REACTION SYSTEMS	2011-02-23	Paper
COMBINATORICS OF LIFE AND DEATH FOR REACTION SYSTEMS	2010-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4344034	1997-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4855383	1995-11-12	Paper
Complete proof rules for strong fairness and strong extreme fairness	1994-04-20	Paper
Semantic models for total correctness and fairness	1993-05-16	Paper
Results of NLC grammars with one-letter terminal alphabets	1990-01-01	Paper
Edge-label controlled graph grammars	1990-01-01	Paper
Detecting leftmost maximal periodicities	1989-01-01	Paper
Applications of an infinite square-free co-CFL	1987-01-01	Paper
Handle NLC grammars and r. e. languages	1987-01-01	Paper
Trace, failure and testing equivalences for communicating processes	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3785996	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3809286	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819989	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3756504	1986-01-01	Paper
An infinite square-free co-CFL	1985-01-01	Paper
Free semiring-representations and nondeterminism	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690246	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3738577	1985-01-01	Paper
Restrictions on NLC graph grammars	1984-01-01	Paper
An O(n log n) algorithm for finding all repetitions in a string	1984-01-01	Paper
Functional behavior of nondeterministic and concurrent programs	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666249	1983-01-01	Paper
Permutations are not context-free: An application of the interchange lemma	1982-01-01	Paper
Free upper regular bands	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: Michael G. Main