Bilateral Proofs of Safety and Progress Properties of Concurrent Programs

Autor: Misra, Jayadev

This paper suggests a theomisra@utexas.edury of composable specification of concurrent programs that permits: (1) verification of program code for a given specification, and (2) composition of the specifications of the components to yield the specifi

Externí odkaz: http://arxiv.org/abs/1704.01814

A timed semantics of Orc

Autor: Wehrman, Ian, Kitchin, David, Cook, William R., Misra, Jayadev

Publikováno v: In Theoretical Computer Science 2008 402(2):234-248

Computation Orchestration.

Autor: Misra, Jayadev¹ misra@cs.utexas.edu, Cook, William R.¹ cook@cs.utexas.edu

Publikováno v: Software & Systems Modeling. Mar2007, Vol. 6 Issue 1, p83-110. 28p. 3 Diagrams, 2 Charts.

A Linear Sieve Algorithm for Finding Prime Numbers.

Autor: Gries, David¹, Misra, Jayadev², Graham, S. L.

Publikováno v: Communications of the ACM. Dec1978, Vol. 21 Issue 12, p999-1003. 5p. 1 Chart.

Formal Reasoning about Non-Atomic Java Card Methods in Dynamic Logic

Autor: Mostowski, Wojtek, Misra, Jayadev, Nipkow, Tobias, Sekerinski, Emil

Publikováno v: Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil (ed.), Proceedings, Formal Methods (FM) 2006, Hamilton, Ontario, Canada, 444-459. Berlin ; New York : Springer
STARTPAGE=444;ENDPAGE=459;TITLE=Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil (ed.), Proceedings, Formal Methods (FM) 2006, Hamilton, Ontario, Canada
Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil (ed.), Proceedings, Formal Methods (FM) 2006, Hamilton, Ontario, Canada, pp. 444-459

Item does not contain fulltext

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8d7cb97f963411bff574ea50b2339a18
https://hdl.handle.net/2066/35841