Component-Based Systems / Formal Systems (Europe) Ltd. / Testing Communicating Systems / Cambridge University Press / Open Object-Based Distributed Systems / Microsoft / /
Country
Germany / France / United States / / /
Facility
Prentice Hall / Iowa State University / University of Oldenburg / University of California / /
IndustryTerm
finite state concurrent systems / javadoc tool / finite state systems / object-oriented software components / jassda tool / large distributed software systems / /
Organization
Cambridge University / Department of Computer Science / Foundation of Software Engineering / University of California / Santa Barbara / German Research Council / Iowa State University / University of Oldenburg / /
Person
Mark Br / Formal Methods / Heike Wehrheim / John Bruno / Clemens Fischer / Adam Wolisz / Mark Br¨orkens / Murat Karaorman / /
Position
editor / /
ProgrammingLanguage
Java / /
ProvinceOrState
California / Washington / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /