Search results for: P. S. Thiagarajan
Fundamenta Informaticae > 2020 > Vol. 175, nr 1-4 > 301--325
Lecture Notes in Computer Science > Petri Nets: Central Models and Their Properties > Elementary Net Systems — Fundamentals > 26-59
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 1(b) > 60-71
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 335-351
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 226-241
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 201-212
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2000 > Contributed Papers > 405-414
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 508-522