Search

Your search keyword '"Boudol, Gérard"' showing total 162 results
Start Over Author "Boudol, Gérard"
162 results on '"Boudol, Gérard"'

1. Relaxed Operational Semantics of Concurrent Programming Languages

Author

Boudol, Gérard, Petri, Gustavo, and Serpette, Bernard

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

We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model. Our framework features a "temporary store" where the memory operations issued by the threads are recorded, in program order. A memory model then specifies the conditions under which a pending operation from this sequence is allowed to be globally performed, possibly out of order. The memory model also involves a "write grain," accounting for architectures where a thread may read a write that is not yet globally visible. Our formal model is supported by a software simulator, allowing us to run litmus tests in our semantics., Comment: In Proceedings EXPRESS/SOS 2012, arXiv:1208.2440

Published
2012
Full Text
View/download PDF

2. Reactive concurrent programming revisited

Author

Amadio, Roberto, Boudol, Gerard, Castellani, Ilaria, and Boussinot, Frederic

Subjects
Computer Science - Programming Languages
Abstract

In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the absence of an event can be detected instantaneously. We review some research directions that have been explored since the emergence of the reactive model ten years ago. We shall also outline some questions that remain to be investigated.

Published
2005

3. A Theory of Speculative Computation

Author

Boudol, Gérard, Petri, Gustavo, 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, and Gordon, Andrew D., editor

Published
2010
Full Text
View/download PDF

4. A Deadlock-Free Semantics for Shared Memory Concurrency

Author

Boudol, Gérard, 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, Leucker, Martin, editor, and Morgan, Carroll, editor

Published
2009
Full Text
View/download PDF

5. Secure Information Flow as a Safety Property

Author

Boudol, Gérard, 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, Degano, Pierpaolo, editor, Guttman, Joshua, editor, and Martinelli, Fabio, editor

Published
2009
Full Text
View/download PDF

6. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra

Author

Boudol, Gérard, Castellani, Ilaria, Hennessy, Matthew, Nielsen, Mogens, Winskel, Glynn, 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, Degano, Pierpaolo, editor, De Nicola, Rocco, editor, and Meseguer, José, editor

Published
2008
Full Text
View/download PDF

7. Typing Safe Deallocation

Author

Boudol, Gérard, 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, and Drossopoulou, Sophia, editor

Published
2008
Full Text
View/download PDF

9. Fair Cooperative Multithreading

Author

Boudol, Gérard, 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, Caires, Luís, editor, and Vasconcelos, Vasco T., editor

Published
2007
Full Text
View/download PDF

10. On Typing Information Flow

Author

Boudol, Gérard, 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, Van Hung, Dang, editor, and Wirsing, Martin, editor

Published
2005
Full Text
View/download PDF

11. A Generic Membrane Model (Note)

Author

Boudol, Gérard, 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, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Priami, Corrado, editor, and Quaglia, Paola, editor

Published
2005
Full Text
View/download PDF

18. Shared-Variable Concurrency: A Proposal : (Abstract)

Author

Boudol, Gérard, 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, Arun-Kumar, S., editor, and Garg, Naveen, editor

Published
2006
Full Text
View/download PDF

24. Graphical versus logical specifications

Author

Boudol, Gérard, Larsen, Kim G., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Arnold, A., editor

Published
1990
Full Text
View/download PDF

25. Process calculi, from theory to practice: Verification tools

Author

Boudol, Gérard, Roy, Valérie, de Simone, Robert, Vergamini, Didier, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Sifakis, Joseph, editor

Published
1990
Full Text
View/download PDF

26. Three equivalent semantics for CCS

Author

Boudol, Gérard, Castellani, Ilaria, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Guessarian, Irène, editor

Published
1990
Full Text
View/download PDF

27. Flow event structures and flow nets

Author

Boudol, Gérard, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Guessarian, Irène, editor

Published
1990
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results