Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic
Edgar G. DaylightSandeep K. ShuklaDavide SergioPublished in: EXPRESS (2009)
Keyphrases
- concurrent systems
- transition systems
- temporal logic
- distributed systems
- process algebra
- formal specification
- model checking
- modal logic
- automata theoretic
- logic programming
- knowledge representation
- petri net
- defeasible logic
- behavior patterns
- predicate logic
- real world
- neural network
- knowledge based systems
- efficient implementation
- human behavior
- relational databases
- knowledge base
- data sets