Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update formalization #5

Open
wants to merge 64 commits into
base: master
Choose a base branch
from
Open

Update formalization #5

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
64 commits
Select commit Hold shift + click to select a range
e8f1f8c
update syntax
phaller Apr 9, 2017
121e980
Update Normen's affiliation
phaller Apr 13, 2017
069b1ac
populate has just one parameter
phaller Apr 13, 2017
56dde18
update syntax and description
phaller Apr 13, 2017
df1dc4e
eval contexts and local reduction
phaller Apr 13, 2017
5dc4045
update desc seq reduction
phaller Apr 13, 2017
59c8d51
update message queues
phaller Apr 13, 2017
fa1ba0a
update host and id
phaller Apr 13, 2017
31a63ae
remove obsolete determ reduction rules
phaller Apr 13, 2017
29e8b07
remove consume (introduce in later section)
phaller Apr 13, 2017
764fbc9
dist reduction
phaller Apr 13, 2017
669ac67
message processing rules
phaller Apr 14, 2017
8a55246
send has two params
phaller Apr 14, 2017
4249e47
update type rules
phaller Apr 14, 2017
a3f0eb7
typing siloref
phaller Apr 14, 2017
1e207d2
add assign expression
phaller Apr 14, 2017
c835667
fix r-process
phaller Apr 14, 2017
46f96e4
update parent
phaller Apr 14, 2017
dc91322
update wf rules
phaller Apr 14, 2017
4908422
update subst lemma
phaller Apr 14, 2017
ef76b4b
update lem. 5.2
phaller Apr 14, 2017
f46023d
update theorem 5.3
phaller Apr 14, 2017
4b0bec5
app: update statement of theorem 5.3
phaller Apr 14, 2017
d3e8185
well-formed lineages and silo references
phaller Apr 14, 2017
ba8723a
update part 1 of proof of theorem 5.3
phaller Apr 14, 2017
ebe74a3
update statement of theorem 5.3
phaller Apr 14, 2017
392f021
add wf-config
phaller Apr 14, 2017
cab3ddb
update case r-local
phaller Apr 14, 2017
ca9a52c
remove obsolete case
phaller Apr 14, 2017
4ce7508
update case r-send
phaller Apr 14, 2017
291a5ba
adjust case r-local to wf-config and wf-messages
phaller Apr 14, 2017
b110d97
fix weakening lemma
phaller Apr 14, 2017
7556aec
extend process with result store
phaller Apr 14, 2017
b931a41
persist
phaller Apr 14, 2017
a3c8b1d
persist: extensions to message proc. and typing
phaller Apr 14, 2017
96025ec
unify wf-store and wf-silostore
phaller Apr 14, 2017
6dd7d8b
fix wf-q2
phaller Apr 14, 2017
104f0d9
persist: ext. of well-formedness
phaller Apr 14, 2017
37f062b
use unit value instead of epsilon
phaller Apr 14, 2017
eca5d40
update case proc-req of process lemma
phaller Apr 14, 2017
29be098
update proof of process lemma
phaller Apr 14, 2017
3a06092
case r-receive
phaller Apr 14, 2017
df1c781
case r-process
phaller Apr 14, 2017
b8205ad
update statement and proof of lemma queue concat
phaller Apr 15, 2017
971c585
improve proof of theorem 4.1
phaller Apr 15, 2017
2b3dfd4
fix related to wf-store
phaller Apr 15, 2017
ce04be7
describe r-assign
phaller Apr 17, 2017
9ab9d3f
introduce distributed reduction
phaller Apr 17, 2017
fe55786
r-local
phaller Apr 17, 2017
d257191
r-send
phaller Apr 17, 2017
50a6d41
r-receive
phaller Apr 17, 2017
241625e
r-receive
phaller Apr 17, 2017
b303ede
proc-res
phaller Apr 17, 2017
3aa999e
improve message processing and send
phaller Apr 17, 2017
0dcd027
t-respond
phaller Apr 17, 2017
0cafaac
desc type rules
phaller Apr 17, 2017
709f60f
introduce persist
phaller Apr 17, 2017
9d4171d
improve opsem for persist
phaller Apr 18, 2017
6d55357
update proof of process lemma
phaller Apr 18, 2017
90d0838
replace ResP by Res
phaller Apr 18, 2017
653f846
persist: explain extended message processing
phaller Apr 18, 2017
a8687e9
introduce formal fault handling rules
phaller Apr 18, 2017
613ed39
explain formal fault handling rules
phaller Apr 18, 2017
00a3fbb
add respond, remove assign
phaller Apr 18, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading