Back to Results
First PageMeta Content
Applied mathematics / Probabilistic automaton / Finite-state machine / I/O Automaton / Markov chain / Ω-automaton / Automata theory / Theoretical computer science / Computer science


Document Date: 2003-09-01 10:09:25

Open Document

File Size: 345,55 KB

Share Result on Facebook

Company

Communicating Systems / CONCUR / /

/

Facility

Computer Science State University of New York / /

IndustryTerm

interaction systems / asynchronous probabilistic systems / asynchronous systems / external communications / e-labeled / timeout operator / probabilistic systems / reactive probabilistic transition systems / /

Organization

Eugene W. Stark Department / National Science Foundation / State University of New York / /

Person

Eugene W. Stark / Ai / Sue-Hwey Wu / Scott A. Smolka / Brook Stony Brook / /

Position

author / /

ProvinceOrState

New York / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

simulation / /

SocialTag