Skip to contents

Misra, Jayadev [Editor] ; FM 14 2006 Hamilton, Ontario

FM 2006 : formal methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2006

Published in: Lecture notes in computer science ; 4085
Chandy, Kanianthra Mani [Author]; Chandy, K. Mani [Author]; Misra, Jayadev [Author]

Parallel program design : a foundation - [Repr. with corrections]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Reading, Mass. [u.a.]: Addison-Wesley, 1989
Misra, Jayadev [Other]; Nipkow, Tobias [Other]; Sekerinski, Emil [Other]

FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 4085
Misra, Jayadev

Lecture Notes in Computer Science: A Denotational Semantic Theory of Concurrent Systems

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2015

Published in: Lecture Notes in Computer Science
Misra, Jayadev

Formal Aspects of Component Software: Orchestration

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2014

Published in: Formal Aspects of Component Software
Misra, Jayadev

A personal perspective on concurrency

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2014

Published in: ACM SIGPLAN Notices
Misra, Jayadev

A secure voting scheme based on rational self-interest

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2012

Published in: Formal Aspects of Computing
Misra, Jayadev

Theoretical Aspects of Computing – ICTAC 2011: Virtual Time and Timeout in Client-Server Networks : (Extended Abstract) : (Extended Abstract)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Theoretical Aspects of Computing – ICTAC 2011
Misra, Jayadev

Software Reuse: Methods, Techniques, and Tools: The Case against a Grand Unification Theory

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: Software Reuse: Methods, Techniques, and Tools
Misra, Jayadev

Lecture Notes in Computer Science: A Programming Model for Wide-Area Computing

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2001

Published in: Lecture Notes in Computer Science
Misra, Jayadev

Lecture Notes in Computer Science: An object model for multiprogramming

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1998

Published in: Lecture Notes in Computer Science
Misra, Jayadev

A discipline of multiprogramming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1996

Published in: ACM Computing Surveys
Misra, Jayadev

Powerlist: a structure for parallel recursion

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1994

Published in: ACM Transactions on Programming Languages and Systems
Misra, Jayadev

PARLE '91 Parallel Architectures and Languages Europe: Loosely-coupled processes (preliminary version)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: PARLE '91 Parallel Architectures and Languages Europe
Misra, Jayadev

Parle ’91 Parallel Architectures and Languages Europe: Loosely-Coupled Processes (Preliminary Version)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: Parle ’91 Parallel Architectures and Languages Europe
Misra, Jayadev

Phase synchronization

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1991

Published in: Information Processing Letters
Misra, Jayadev

Phase synchronization

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1992

Published in: Information Processing Letters
Misra, Jayadev

Reasearch Directions in High-Level Parallel Programming Languages: A perspective on parallel program design

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1992

Published in: Reasearch Directions in High-Level Parallel Programming Languages
Misra, Jayadev

Equational reasoning about nondeterministic processes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1990

Published in: Formal Aspects of Computing
Misra, Jayadev

Lecture Notes in Computer Science: Specifications of concurrently accessed data

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1989

Published in: Lecture Notes in Computer Science

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication