BibSonomy
::
bibtex
::
tag
user
group
author
concept
BibTeX key
search:all
search:atrus
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
atrus
's BibTeX entry:
Expressive Completeness of an Event-Pattern Reactive Programming Language
FORTE,
: 529-532, 2005.
Authors:
C{\'e}sar
S{\'a}nchez
and Matteo
Slanina
and Henny B.
Sipma
and Zohar
Manna
Tags:
CEP
automaton
event
finite
|
BibTeX
@inproceedings{Sanchez2005,
title = {Expressive Completeness of an Event-Pattern Reactive Programming Language},
author = {C{\'e}sar S{\'a}nchez and Matteo Slanina and Henny B. Sipma and Zohar Manna},
booktitle = {FORTE},
crossref = {DBLP:conf/forte/2005},
pages = {529-532},
year = {2005},
keywords = {CEP automaton event finite }
}
relations
tags
2007
A-TREAT
action
active
ADAM
ADL
algebra,
algebras,
architecture
Ariel
automaton
business
CEP
comparison
complex
complexity
COMPOSE
condition
conference
confluence
database
dblp
DEBS
derivation
detection
detection-based
difference
DIPS
discrimination
discriminiation
DSMS
ECA
EDA
ESP
evaluation
event
event-condition-action
EXACT
exchange
finite
formal
Gator
glossary
HiPAC
imported
interval-based
jabref:noKeywordAssigned
LEAPS
logical
markup
network
occurrence-based
Ode
out-of-order
overview
performance
POSL
process
processing
query
Rete
Rete/UL
rule
RuleML
rules
rules,
Semantic
semantic
semantics,
situation
skew
slack
Snoop
state
stream
survey
termination
terms
test
TREAT
verification,
web
Web,
WebECA