Back to Results
First PageMeta Content



The Reaction Algebra: A Formal Language for Event Correlation⋆ C´esar S´ anchez1 , Matteo Slanina2 , Henny B. Sipma1 , and Zohar Manna1 1
Add to Reading List

Document Date: 2014-06-27 10:56:07

Open Document

File Size: 256,13 KB

Share Result on Facebook

City

Mountain View / /

Company

Ace / the Boeing / EDU 2 Google Inc. / /

/

Facility

Amphitheatre Pkwy / Stanford University / /

IndustryTerm

software layer / message passing systems / reactive and embedded systems / distributed reactive systems / minimum processing time / computational devices / distributed systems / /

Organization

Paper Organization / National Science Foundation / Stanford University / Computer Science Department / /

/

Position

hB / GPS Pilot Control Air Frame / Navigation Display Navigation Steering Tactical Steering Navigation Display Navigation Steering EC Middleware EC Tactical Steering EC Middleware EC GPS Pilot Control Air Frame / Pilot Control component / /

ProgrammingLanguage

Esterel / C / /

ProvinceOrState

Nova Scotia / California / /

SportsLeague

Stanford University / /

Technology

GPS / /