S. Purushothaman Iyer

Available identifiers

zbMath Open iyer.s-purushothamanMaRDI QIDQ1126265

List of research outcomes

Publication	Date of Publication	Type
FM 2005: Formal Methods	2006-01-10	Paper
Probabilistic temporal logics via the modal mu-calculus	2005-09-22	Paper
Simulating perfect channels with probabilistic lossy channels	2005-05-12	Paper
SAT-solving the coverability problem for Petri nets	2004-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4422084	2003-09-03	Paper
Well-abstracted transition systems: Application to FIFO automata.	2003-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q2754109	2001-11-11	Paper
An operational semantics of sharing in lazy evaluation	1997-03-03	Paper
Unreliable channels are easier to verify than perfect channels	1996-03-27	Paper
A NEW TYPE OF PUSHDOWN AUTOMATA ON INFINITE TREES	1995-10-29	Paper

Research outcomes over time

This page was built for person: S. Purushothaman Iyer