Interesting Professional
Books and Other
Announcements
Books
- Mathematical
Frameworks for Component Software -- Models for Analysis and Synthesis,
World Scientific (to appear in 2006)
- Interactive
Computation: The New Paradigm, Springer, 2006 (Amazon)
- Enterprise
Architecture at Work, Springer, 2005.
- Mathematical Techniques for Analyzing
Concurrent and Probabilistic Systems, American Mathematical Society, 2004.
- Formal
Methods for Components and Objects, LNCS Vol. 2852, Springer, 2003.
- Coordination
Models and Languages, LNCS Vol. 2315, Springer, 2002.
- Coordination
of Internet Agents: Models, Technologies, and Applications,
Springer, 2001.
- Advances
in Computers, Vol. 46, Academic Press, 1998.
Special Issues of Journals
- Special Issue of the Journal of Universal Computer Science
on Foundations of Software Engineering, to appear in 2007.
- Special Issue of Fundamenta Informaticae on
Foundations of Software Engineering, to appear in 2007.
- Special Issue of the Information
Systems
Frontiers journal on Enterprise Architecture, Vol.
8,
No. 2, 2006.
- Special Issue of the Journal of Universal Computer Science
on Compositional
Construction and Reasoning Techniques for Software, Vol. 11, No.
10, October 2005.
- Special Issue
of the Journal
of Supercomputing on Coordination
Models, Languages, and Systems, Vol. 24, No. 2, Springer, February
2003.
- Special Issue of the International
Journal of Cooperative Information Systems on Architecture
- Special Issue of the
Parallel
Computing journal on Coordination
Languages for Parallel Programming,
Vol. 24, No. 7, Elsevier, July 1998.
Special Events