Search

Your search keyword '"Misra, Jayadev"' showing total 331 results
Start Over Author "Misra, Jayadev"
331 results on '"Misra, Jayadev"'

2. Bilateral Proofs of Safety and Progress Properties of Concurrent Programs

Author

Misra, Jayadev

Subjects
Computer Science - Programming Languages, Computer Science - Logic in Computer Science
Abstract

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 specification of a program. The specification consists of both terminal properties that hold at the end of a program execution (if the execution terminates) and perpetual properties that hold throughout an execution. We devise (1) proof techniques for verification, and (2) composition rules to derive the specification of a program from those of its components. We employ terminal properties of components to derive perpetual properties of a program and conversely. Hence, this proof strategy is called bilateral. The compositional aspect of the theory is important in assembling a program out of components some of whose source code may not be available, as is increasingly the case with cross-vendor program integration.

Published
2017

9. A Denotational Semantic Theory of Concurrent Systems

Author

Misra, Jayadev, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Martí-Oliet, Narciso, editor, Ölveczky, Peter Csaba, editor, and Talcott, Carolyn, editor

Published
2015
Full Text
View/download PDF

10. Orchestration

Author

Misra, Jayadev, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fiadeiro, José Luiz, editor, Liu, Zhiming, editor, and Xue, Jinyun, editor

Published
2014
Full Text
View/download PDF

12. Action Systems

Author

Misra, Jayadev, Gries, David, editor, Schneider, Fred B., editor, and Misra, Jayadev

Published
2001
Full Text
View/download PDF

13. Small Examples

Author

Misra, Jayadev, Gries, David, editor, Schneider, Fred B., editor, and Misra, Jayadev

Published
2001
Full Text
View/download PDF

24. The Orc Programming Language

Author

Kitchin, David, Quark, Adrian, Cook, William, Misra, Jayadev, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Lee, David, editor, Lopes, Antónia, editor, and Poetzsch-Heffter, Arnd, editor

Published
2009
Full Text
View/download PDF

25. Structured Interacting Computations : (A Position Paper)

Author

Cook, William, Misra, Jayadev, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Wirsing, Martin, editor, Banâtre, Jean-Pierre, editor, Hölzl, Matthias, editor, and Rauschmayer, Axel, editor

Published
2008
Full Text
View/download PDF

26. Simulation Using Orchestration : (Extended Abstract)

Author

Kitchin, David, Powell, Evan, Misra, Jayadev, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Meseguer, José, editor, and Roşu, Grigore, editor

Published
2008
Full Text
View/download PDF

27. A Language for Task Orchestration and Its Semantic Properties

Author

Kitchin, David, Cook, William R., Misra, Jayadev, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Baier, Christel, editor, and Hermanns, Holger, editor

Published
2006
Full Text
View/download PDF

28. Workflow Patterns in Orc

Author

Cook, William R., Patwardhan, Sourabh, Misra, Jayadev, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ciancarini, Paolo, editor, and Wiklicky, Herbert, editor

Published
2006
Full Text
View/download PDF

31. Active and Concurrent Topology Maintenance

Author

Li, Xiaozhou, Misra, Jayadev, Plaxton, C. Greg, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Guerraoui, Rachid, editor

Published
2004
Full Text
View/download PDF

35. Virtual Time and Timeout in Client-Server Networks : (Extended Abstract)

Author

Misra, Jayadev, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Cerone, Antonio, editor, and Pihlajasaari, Pekka, editor

Published
2011
Full Text
View/download PDF

46. Computing with Distributed Resources

Author

Choi, Young-ri, Rai, Siddhartha, Kumar, Vinay Sampath, Misra, Jayadev, Vin, Harrick, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Böszörményi, László, editor, and Schojer, Peter, editor

Published
2003
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results