Semantics Preserving Micro-Instant Implementation of Synchronous Programs.

Vinod Kumar Kanchan Bokil Ashwin Nivangune Peeyush Jain

Published in: ICIT (2008)

Keyphrases

asynchronous communication
efficient implementation
logic programming
stable models
database
computer programs
control flow
dynamic logic
declarative semantics