Back to Results
First PageMeta Content
Microsoft Cluster Server / Message Sequence Chart / Mathematics / Computing / Applied mathematics / Formal languages / Automata theory / Model theory


IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. XX, NO. Y, YEAR 100 Inference of Message Sequence Charts Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
Add to Reading List

Document Date: 2006-06-22 11:47:16

Open Document

File Size: 406,74 KB

Share Result on Facebook

City

Edinburgh / /

Country

United States / United Kingdom / /

Currency

pence / /

/

Facility

Stanford University / University of Pennsylvania / University of Edinburgh / /

IndustryTerm

implication algorithm / analysis algorithms / polynomial-time algorithms / straightforward algorithm / polynomial time algorithm / well behaved product / telecommunications software / polynomial-time algorithm / concurrent systems / synthesis algorithm / distributed software system / polynomial-time solution / graph algorithms / deadlock-free product / software life-cycle / /

NaturalFeature

MSC Mt / /

Organization

National Science Foundation / United Nations / Department of Computer and Information Science / Department of Computer Science / University of Edinburgh / Stanford University / University of Pennsylvania / Philadelphia / School of Informatics / /

Person

Ai / /

Position

MSC Mp / designer / software designer / Mp / standard buffered message-passing model of communication / /

ProgrammingLanguage

L / R / /

ProvinceOrState

Pennsylvania / /

PublishedMedium

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING / /

SportsLeague

Stanford University / /

Technology

alpha / graph algorithms / polynomial time algorithm / polynomial-time algorithms / implication algorithm / polynomial-time algorithm / straightforward algorithm / synthesis algorithm / analysis algorithms / Inference algorithm illustration Time Complexity The algorithm / two algorithms / /

SocialTag