scientific article

zbMath1272.68305MaRDI QIDQ2851048

Kohei Honda

Publication date: 2 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825289

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Strategies as concurrent processes, Twenty years of rewriting logic, Full Abstraction in a Subtyped pi-Calculus with Linear Types

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• A calculus of communicating systems
• Sequential algorithms on concrete data structures
• A calculus of mobile processes. II
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Fully abstract models of typed \(\lambda\)-calculi
• Concrete domains
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Bigraphs and transitions
• Process Algebra
• Functions as processes
• Abstract Böhm trees
• Game theoretic analysis of call-by-value computation
• A uniform type structure for secure information flow
• Innocent game models of untyped \(\lambda\)-calculus