AMELOOT, Tom

Email Alert RSS Feed

Profile

Full Name
AMELOOT, Tom
Email
tom.ameloot@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Refined By:
Date Issued:  2014

Results 1-4 of 4 (Search time: 0.002 seconds).

Issue DateTitleContributor(s)TypeCat.
12014Deciding Correctness with Fairness for Simple Transducer NetworksAMELOOT, TomProceedings PaperC1
22014Weaker Forms of Monotonicity for Declarative Networking: a more fine-grained answer to the CALM-conjectureAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
32014Positive Dedalus programs tolerate non-causalityAMELOOT, Tom; VAN DEN BUSSCHE, JanJournal ContributionA1
42014Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative SemanticsAMELOOT, TomJournal ContributionA1