Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Concurrent computing / Cross-platform software / Process calculi / Communicating sequential processes / Runtime verification / Actor model / Process calculus / Computing / Theoretical computer science / Software engineering


Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany
Add to Reading List

Document Date: 2002-05-29 03:53:26

Open Document

File Size: 172,88 KB

Share Result on Facebook

City

Berlin / Oldenburg / Redmond / Paris / /

Company

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 / /

Technology

virtual machine / Java / API / /

URL

http /

SocialTag