- Multiparty Asynchronous Session Types
2016/03/03 by Kohei Honda, Nobuko Yoshida, Marco Carbone · 24 citations
Computer Science · Mathematics · #Artificial intelligence #Asynchronous communication #Binary number #Computer network #Computer science #Distributed systems and fault tolerance #Formal Methods in Verification #Logic, programming, and type systems #Mathematics #Process calculus #Programming language #Session (web analytics) #Syntax #Theoretical computer science #World Wide Web
- Discretionary Information Flow Control for Interaction-Oriented Specifications
2015/01/01 by Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson · 2 citations
Computer Science · #Computer science #Concurrency #Control flow #Data flow diagram #Database #Deadlock #Distributed computing #Distributed systems and fault tolerance #Information flow #Parallel Computing and Optimization Techniques #Process calculus #Programming language #Protocol (science) #Security and Verification in Computing #Semantics (computer science) #Theoretical computer science
- On Characterising Distributability
2013/09/17 by Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann · 3 citations
Computer Science · #Artificial intelligence #Branching (polymer chemistry) #Class (philosophy) #Computer science #Distributed systems and fault tolerance #Divergence (linguistics) #Formal Methods in Verification #Petri Nets in System Modeling #Petri net #Process architecture #Process calculus #Programming language #Stochastic Petri net #Theoretical computer science #cs.LO
- Dynamic mathematics and the blending of knowledge structures in the calculus
2009/07/07 by David Tall, David O. Tall · 1 citation
Mathematics · Psychology · Social Sciences · #Action (physics) #Algebra over a field #Algebraic number #Artificial intelligence #Computer science #Educational Games and Gamification #Embodied cognition #Formalism (music) #Mathematics #Mathematics Education and Teaching Techniques #Process calculus #Programming language #Pure mathematics #Software #Symbolic computation #Theoretical computer science
- TAPAs: A Tool for the Analysis of Process Algebras
2008/01/01 by Francesco Calzolai, Rocco De Nicola, Michele Loreti +1 · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algorithm #Computer science #Counterexample #Discrete mathematics #Equivalence (formal languages) #Feature (linguistics) #Formal Methods in Verification #Mathematics #Model checking #Model-Driven Software Engineering Techniques #Process (computing) #Process calculus #Programming language #Pure mathematics #Representation (politics) #Rotation formalisms in three dimensions #Set (abstract data type) #Software Reliability and Analysis Research #Theoretical computer science #Transition system
- Module algebra
1990/04/01 by J.A. Bergstra, Jan Heering, Paul Klint · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebra over a field #Algebraic number #Algebraic structure #Axiom #Axiomatic system #Computer science #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Process calculus #Pure mathematics #Signature (topology) #Theoretical computer science