Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

A Sorted Semantic Framework for Applied Process Calculi

Johannes Borgström ; Ramūnas Gutkovas ; Joachim Parrow ; Björn Victor ; Johannes Åman Pohjola.
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are&nbsp;[&hellip;]
Published on March 31, 2016

  • < Previous
  • 1
  • Next >