Login / Signup

Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling.

Karla Vanessa Morris WrightThai Son HoangColin F. SnookMichael J. Butler
Published in: ICTAC (2023)
Keyphrases
  • formal language
  • formal semantics
  • formal languages
  • representation language
  • natural language
  • natural language interface
  • database
  • multi agent
  • operating system
  • resource constraints
  • access control policies