Michael 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
Edge-label controlled graph grammars	1990-01-01	Paper
Results of NLC grammars with one-letter terminal alphabets	1990-01-01	Paper
Detecting leftmost maximal periodicities	1989-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
Applications of an infinite square-free co-CFL	1987-01-01	Paper
Handle NLC grammars and r. e. languages	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819989	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3809286	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3756504	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690246	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3738577	1985-01-01	Paper
An infinite square-free co-CFL	1985-01-01	Paper
Free semiring-representations and nondeterminism	1985-01-01	Paper
An O(n log n) algorithm for finding all repetitions in a string	1984-01-01	Paper
Restrictions on NLC graph grammars	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

This page was built for person: Michael Main