Shyamasundar, R. K.; Ramesh, S. Languages for reactive specifications: synchrony vs. asynchrony. (English) Zbl 1319.68143 Int. J. Found. Comput. Sci. 11, No. 2, 283-314 (2000). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. K. Shyamasundar} and \textit{S. Ramesh}, Int. J. Found. Comput. Sci. 11, No. 2, 283--314 (2000; Zbl 1319.68143) Full Text: DOI
Shyamasundar, R. K.; Narayana, K. T.; Pitassi, T. Semantics of nondeterministic asynchronous broadcast networks. (English) Zbl 0778.68059 Inf. Comput. 104, No. 2, 215-252 (1993). Reviewer: J.Woźniak (Gdańsk) MSC: 68Q55 68M10 68Q45 PDFBibTeX XMLCite \textit{R. K. Shyamasundar} et al., Inf. Comput. 104, No. 2, 215--252 (1993; Zbl 0778.68059) Full Text: DOI
Shyamasundar, R. K. Proof-systems for communication complexity of CSP programs. (English) Zbl 0645.68021 Parallel processing and applications, Proc. Int. Conf., L’Aquila/Italy 1987, 125-131 (1988). MSC: 68Q60 68N25 68Q25 PDFBibTeX XML
Koymans, R.; Shyamasundar, R. K.; de Roever, W. P.; Gerth, R.; Arun-Kumar, S. Compositional semantics for real-time distributed computing. (English) Zbl 0565.68026 Logics of programs, Proc. Conf., Brooklyn/N.Y. 1985, Lect. Notes Comput. Sci. 193, 167-189 (1985). MSC: 68N25 68Q60 PDFBibTeX XML