Back to Results
First PageMeta Content
Mathematical analysis / Topological space / Lp space / Model theory / Bounded set / Operator topologies / Topology / General topology / Mathematics


Logic for Communicating Automata with Parameterized Topology Benedikt Bollig LSV, ENS Cachan, CNRS & Inria, France
Add to Reading List

Document Date: 2014-09-19 10:49:56

Open Document

File Size: 412,64 KB

Share Result on Facebook

City

Vienna / /

Company

Negative Results / CONCUR / /

Country

Austria / Netherlands / /

Currency

USD / /

/

Facility

Pipeline Tlin4 / /

IndustryTerm

asynchronous broadcast networks / resource management / computing / broadcast networks / parametric concurrent systems / ad hoc networks / model checking algorithms / /

NaturalFeature

FIFO channel / /

Person

M. Sohoni / Dietrich Kuske / K. Narayan Kumar / J. G. Henriksen / W. Thatcher / Logic Colloquium / M. Mukund / Benedikt Bollig / Nicolas Baudru / P. S. Thiagarajan / /

Position

author / Prime Minister / Acknowledgments The author / /

ProvinceOrState

California / /

Technology

token ring / P2P protocol / model checking algorithms / /

URL

http /

SocialTag