ULM

swMATH8978MaRDI QIDQ20973FDOQ20973

Author name not available (Why is that?)

Cited In (10)

• Programming Languages and Systems
• The SL synchronous language, revisited
• Model checking mobile stochastic logic
• Typing noninterference for reactive programs
• Reactive Concurrent Programming Revisited
• A synchronous \(\pi\)-calculus
• Resource control for synchronous cooperative threads
• Constructive semantics for instantaneous reactions
• Recent Trends in Algebraic Development Techniques
• Acute: High-level programming language design for distributed computation

This page was built for software: ULM