9 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.LO2014
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics
Johannes Borgström, Silvia Crafa
This volume contains the proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS…
cs.PL2012★ 9 cited
Behavioural Types for Actor Systems
Silvia Crafa
Recent mainstream programming languages such as Erlang or Scala have renewed the interest on the Actor model of concurrency. However, the literature on the static analysis of actor…