Selected papers of the 3rd workshop on Concurrency and compositionality
A calculus of mobile processes, I
Information and Computation
Location equivalence in a parametric setting
Theoretical Computer Science
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Communicating sequential processes
Communications of the ACM
Communication and Concurrency
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Distributed Processes and Location Failures (Extended Abstract)
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
An Asynchronous Model of Locality, Failurem and Process Mobility
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Localities and Failures (Extended Abstract)
Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science
A brief history of process algebra
Theoretical Computer Science - Process algebra
ECOOP '07 Proceedings of the 21st European conference on ECOOP 2007: Object-Oriented Programming
Artificial intelligence today
iRODS Primer: integrated Rule-Oriented Data System
iRODS Primer: integrated Rule-Oriented Data System
RuleML 1.0: the overarching specification of web rules
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Standards for complex event processing and reaction rules
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Reaction RuleML 1.0: standardized semantic reaction rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
A rule-based calculus and processing of complex events
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Hi-index | 0.00 |
Data management policies for a distributed system that handles "big data" usually require a core feature set provided by a rule framework. In this paper, we describe a viable core feature set, partially extending the event-condition-action framework, based on our experience in developing and applying the integrated Rule-Oriented Data-management System [1,2,3]. We attempt to formalize some aspects of this feature set, focusing on location-aware and asynchronous execution of rules, based on the Calculus of Concurrent Systems [4].