نتایج جستجو برای: concurrency theory

تعداد نتایج: 790597  

2001
Dirk Beyer

We present a formalism for modular modelling of hybrid systems, the Cottbus Timed Automata. For the theoretical basis, we build on work about timed and hybrid automata. We use concepts from concurrency theory to model communication of separately defined modules, but we extend these concepts to be able to express explicitly readand write-access to signals and variables.

Journal: :Information and Computation 1996

Journal: :Electronic Notes in Theoretical Computer Science 2000

Journal: :Theoretical Computer Science 2007

Journal: :Electronic Notes in Theoretical Computer Science 2006

Journal: :Proceedings of the ACM on Programming Languages 2020

Journal: :Concurrency and Computation: Practice and Experience 2006

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید