|
Model Checking Software, 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings
Aoki, T.: Model Checking Multi-Task Software on Real-Time Operating Systems. In:
ISORC, pp. 551–555. ... Concurrency: State models & Java programs. ...
by Jaco Van Der Pol
 view
Buy
|
|
Model checking software, 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
Concurrency: state models & JAVA programs. John Wiley & Son, April 1999. 168 Ken
McMillan. Cadence SMV. 169 http://www-cad.eecs.berkeley.edu/ kenmcmil/smv/. ...
by Thomas Ball, Sriram K. Rajamani
view
Buy
|
|
FM 2008: formal methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings
Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. John Wiley &
Sons, Chichester (1999) 19. Magee, J., Kramer, J., Giannakopoulou, ...
by Jorge Cuellar, Thomas S. E. Maibaum, Kaisa Sere
view
Buy
|
|
Static analysis, 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
We are interested in applying these techniques to construct models of multi-
threaded Java programs. Past work does not address the concurrency primitives
...
by Agostino Cortesi, Gilberto Filé
view
Buy
|
|
Model driven engineering languages and systems, 8th international conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005 : proceedings
Concurrency: State Models and Java Programs. Wiley, NY, 1999. I. Majzik, A.
Pataricza, and A. Bondavalli. Stochastic Dependability Analysis of System ...
by Lionel C. Briand, Clay Edwin Williams
view
Buy
|
|
Sdl 2011: Integrating System and Software Modeling, 15th International Sdl Forum Toulouse, France, July 5-7, 2011. Revised Papers
Tutorial Computer Networks and ISDN Systems 25, 981–1017 (1991) Magee, J.,
Kramer, J.: Concurrency: state models & Java programs. John Wiley & Sons, Inc.,
...
by Iulian Ober, Ileana Ober
view
Buy
|
|
Leveraging Applications of Formal Methods, Verification, and Validation, 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Mador-Haim, S., Alur, R., Martin, MM: Specifying relaxed memory models for state
exploration tools. In: Exploiting Concurrency Efficiently and Correctly ...
by Tiziana Margaria
view
Buy
|
|
Tools and algorithms for the construction and analysis of systems, international workshop, TACAS ... ; selected papers ; proceedings. Held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 : Warsaw, Poland, April 7 - 11, 2003
Telecommunication Standardisation Sector, Recommendation Z.120, 1996. [2] J.
Magee and J. Kramer, Concurrency: State Models and Java Programs. ...
by Ed Brinksma, Tiziana Margaria, Bernhard Steffen, Joint European Conferences on Theory and Practice of Software (1998, Lisboa), Joint European Conferences on Theory and Practice of Software (1999, Amsterdam), Joint European Conferences on Theory and Practice of Software (2001, Genova), Joint European Conferences on Theory and Practice of Software (2002, Grenoble), Joint European Conferences on Theory and Practice of Software (2003, Warszawa), Joint European Conferences on Theory and Practice of Software (2004, Barcelona), TACAS.
view
Buy
| Rating: 4.11
|
Concurrent programming in Java, design principles and patterns
Concurrency: State Models and Java Programs, Wiley, 1999. This provides a
stronger emphasis on modeling and analysis. Most books, articles, and manuals on
...
by Douglas Lea
view
Buy
|
|
Communicating process architectures 2008, WoTUG-31
A csp model for java multithreading. In PDSE '00: Proceedings of the
International ... In CONCUR: 3rd International Conference on Concurrency Theory.
...
by Peter H. Welch
view
Buy
| |
|