Ta-Pang Lao

From MaRDI portal

Revision as of 15:02, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:672062

Jump to:navigation, search

Available identifiers

zbMath Open lao.ta-pangMaRDI QIDQ672062

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
Deciding bisimulation and trace equivalences for systems with many identical processes	2023-03-21	Paper
Deciding bisimulation and trace equivalences for systems with many identical processes	1997-02-27	Paper

Research outcomes over time

This page was built for person: Ta-Pang Lao

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:672062&oldid=7185227"