BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × USA
2 × France
Collaborated with:
J.Seaman W.Peng M.Draghicescu
Talks about:
semant (2) evalu (2) oper (2) deadlock (1) composit (1) communic (1) approach (1) abstract (1) problem (1) network (1)

Person: S. Purushothaman

DBLP DBLP: Purushothaman:S=

Contributed to:

FPCA 19931993
ESOP 19921992
CAV 19901990
LFP 19901990

Wrote 4 papers:

FPCA-1993-PurushothamanS #semantics
From Operational Definitions to Abstract Semantics (SP, JS), pp. 276–288.
ESOP-1992-PurushothamanS #evaluation #lazy evaluation #semantics
An Adequate Operational Semantics for Sharing in Lazy Evaluation (SP, JS), pp. 435–450.
CAV-1990-PengP #approach #communication #concurrent #detection #finite #network #problem #state machine
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines (WP, SP), pp. 243–252.
LFP-1990-DraghicescuP #analysis #composition
A Compositional Analysis of Evaluation-Order and Its Application (MD, SP), pp. 242–250.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.