I. Kurnia

This paper develops trace semantics and specification technique for actor-based component systems, presents important proof rules, proves soundness of the rules, and illustrates the interplay between the trace semantics, the specification technique and the proof rules by an industrial Erlang case study. Expand

We investigate compatibility of components that have a bipartite context consisting of, on the one hand, interactions with users or the environment. Expand

This chapter presents an approach to hierarchically specify and verify open concurrent object systems. Expand

We propose an automaton model that captures the challenging aspects of open distributed systems by utilizing actors as universal primitives to represent system entities. Expand

This paper presents a new automaton model for actor systems and demonstrates how the model can be used for compositional verification. Expand

This thesis introduces Full Branching Time Stream Logic (BTSL*), a combination of CTL and Dynamic LTL which offers the ability to reason about states and actions in a Reo circuit. Expand