Raymond T. Yeh

Available identifiers

zbMath Open yeh.raymond-tMaRDI QIDQ1231893

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4694123	1993-06-29	Paper
Specification and verification of liveness properties of cyclic, concurrent processes	1992-06-25	Paper
Formal Specification and Verification of Distributed Systems	1983-01-01	Paper
Communication Port: A Language Concept for Concurrent Programming	1980-01-01	Paper
Induction as the Basis for Program Verification	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4136520	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4144195	1976-01-01	Paper
Marker automata	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4076804	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4099210	1975-01-01	Paper
On periodicity of sequential machines	1974-01-01	Paper
Periodic representation of equal matrix grammars	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4126252	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4403699	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5181347	1973-01-01	Paper
Continuously valued logic	1972-01-01	Paper
Some structural properties of generalized automata and algebras	1971-01-01	Paper
Decomposition of simple goal-seeking automata	1970-01-01	Paper
Structural equivalence of automata	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5608772	1970-01-01	Paper
Some extensions of the congruence concept for incomplete non- deterministic automata	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4773628	1969-01-01	Paper
Generalized Pair Algebra With Applications to Automata Theory	1968-01-01	Paper
Finite Covers with Substitution Property on Infinite Automata	1968-01-01	Paper
On relational homomorphisms of automata	1968-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: Raymond T. Yeh