ULM

swMATH8978MaRDI QIDQ20973FDOQ20973

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-540-24725-8_17

Cited In (13)

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

This page was built for software: ULM