Back to Results
First PageMeta Content
Data / Communicating sequential processes / Concurrent computing / Axiom / Communications protocol / Program logic / Computing / Process calculi / Software


Using Message Passing for Distributed Programming: Proof Rules and Disciplines RICHARD D. SCHLICHTING University of Arizona FRED B. SCHNEIDER
Add to Reading List

Document Date: 2001-11-26 10:54:40

Open Document

File Size: 1,58 MB

Share Result on Facebook

City

Tucson / Ithaca / /

Company

D. s A / Computer-Communications Networks / /

Currency

pence / USD / /

Facility

Cornell University / University of Arizona / /

IndustryTerm

network communications / communications commands / communications axioms / communications command / communications networks / proof systems / communications primitives / network software / /

Organization

National Science Foundation / United Nations / Department of Computer Science / University of Arizona / Cornell University / Association for Computing Machinery / /

Person

FRED B. SCHNEIDER / /

Position

guard / General / /

Product

SDI iP1 Speakers / /

ProgrammingLanguage

C / /

ProvinceOrState

New York / Arizona / /

Technology

aV / Operating Systems / Network Protocols / virtual circuit / /

SocialTag