• ac2lus

  • Referenced in 2 articles [sw17953]
  • Real-Time Calculus through the Synchronous Language Lustre. We present an approach to connect ... Lustre, a real programming language, and the synchronous hypothesis make the task easier to write...
  • AADL

  • Referenced in 4 articles [sw20835]
  • tasks of specifying and verifying their underlying synchronous design. To make the Multirate PALS design ... define in this work the modeling language Multirate Synchronous AADL, which can be used...
  • SMV

  • Referenced in 13 articles [sw04135]
  • temporal logic CTL. The input language of SMV is designed to allow the description ... finite state system that range from completely synchronous to completely asynchronous and from the detailed ... synchronous Mealy machine or as an asynchronous network of abstract, nondeterministic processes. The language provides...
  • TTSLI

  • Referenced in 1 article [sw02476]
  • TTSLI: An implementation of tree-tuple synchronized languages. Tree-Tuple Synchronized Languages have first been...
  • CC-Pi

  • Referenced in 30 articles [sw15033]
  • joining different SLA requirements. Our language combines two basic programming paradigms: name-passing calculi ... Specifically, we extend cc programming by adding synchronous communication and by providing a treatment...
  • BSGP

  • Referenced in 5 articles [sw08995]
  • BSGP: bulk-synchronous GPU programming. We present BSGP, a new programming language for general purpose...
  • KOOL

  • Referenced in 7 articles [sw32263]
  • addition of synchronized methods. KOOL also provides support for program analysis through language extensions...
  • ULM

  • Referenced in 10 articles [sw08978]
  • design the language, we use ideas and programming constructs from the synchronous programming style, that...
  • SCEst

  • Referenced in 1 article [sw26908]
  • SCEst: Sequentially constructive esterel. The synchronous language Esterel provides determinate concurrency for reactive systems. Determinacy...
  • COSTABS

  • Referenced in 5 articles [sw09877]
  • imperative sub-language provides flexible concurrency and synchronization mechanisms by means of asynchronous method calls ... perform resource analysis for a concurrent language...
  • GRL

  • Referenced in 2 articles [sw16845]
  • specification language for globally asynchronous locally synchronous systems. A GALS (Globally Asynchronous, Locally Synchronous) system ... formalisms and design tools support either the synchronous paradigm or the asynchronous paradigm but rarely ... this paper, we present a new language, called GRL (GALS Representation Language) designed to model ... formal semantics combining the synchronous reactive model underlying dataflow languages and the asynchronous concurrent model...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • model checker for finite- and infinite-state synchronous transition systems. nuXmv is the evolution ... infinite-state systems, it extends the nuXmv language with new data types, namely Integers...
  • Path Pascal

  • Referenced in 4 articles [sw34504]
  • specify synchronization between concurrent processes by Path Expressions. The extended language is being used ... systems. An encapsulation mechanism is included to synchronize all accesses to encapsulated data. A network...
  • SCCharts

  • Referenced in 3 articles [sw26907]
  • conservative extension of synchronous statecharts. We present a new visual language, SCCharts, designed for specifying ... provide determinate concurrency based on a synchronous model of computation (MoC), without restrictions common...
  • HAL_

  • Referenced in 2 articles [sw07224]
  • architecture independent, concurrent object-oriented language which supports inheritance, synchronization constraints, continuation capture, synchronous...
  • Gopherlyzer

  • Referenced in 2 articles [sw23206]
  • Gopherlyzer: Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. We consider the problem ... programming language which make use of synchronous channel communications. In our analysis, regular expressions extended...
  • JR

  • Referenced in 1 article [sw24312]
  • those in the SR (Synchronizing Resources) programming language. It is suitable for writing programs...
  • Lutess

  • Referenced in 7 articles [sw01252]
  • present Lutess, a tool for testing synchronous reactive software. Lutess provides a formal framework based ... Lustre language. It embodies several testing techniques: random testing with or without operational profiles, specification...
  • Limi

  • Referenced in 4 articles [sw20206]
  • they are independent. Two strings of the language are equivalent module independence if they ... From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis...
  • CUPyDO

  • Referenced in 3 articles [sw32666]
  • into a single synchronization and communication framework based on the Python language is presented. Each ... their functionalities (usually written in a compiled language) into a Python object, that is called ... conjugate heat transfer (CHT). The synchronization between the solvers is performed with the predictive block...