Titlebook: CONCUR‘97: Concurrency Theory; 8th International Co Antoni Mazurkiewicz,Józef Winkowski Conference proceedings 1997 Springer-Verlag Berlin

Odious

书目名称CONCUR‘97: Concurrency Theory影响因子(影响力)




书目名称CONCUR‘97: Concurrency Theory影响因子(影响力)学科排名




书目名称CONCUR‘97: Concurrency Theory网络公开度




书目名称CONCUR‘97: Concurrency Theory网络公开度学科排名




书目名称CONCUR‘97: Concurrency Theory被引频次




书目名称CONCUR‘97: Concurrency Theory被引频次学科排名




书目名称CONCUR‘97: Concurrency Theory年度引用




书目名称CONCUR‘97: Concurrency Theory年度引用学科排名




书目名称CONCUR‘97: Concurrency Theory读者反馈




书目名称CONCUR‘97: Concurrency Theory读者反馈学科排名

Champion

Diaphragm

Sarcoma

Rustproof

A universal reactive machine, universal Turing machine simulates it. We introduce the concept of universality for reactive systems and construct a CCS process universal in the sense that, given an encoding of . CCS process, it behaves like this process up to weak bisimulation. This construction has a rather non-constructive use

Parallel

Parallel

Adding partial orders to linear temporal logic,xecution sequences. This is a desirable feature in specifying concurrent systems which allows formalizing frequently used arguments such as ‘in an equivalent execution sequence’, or ‘in a consistent global state, not necessarily on the execution sequence’ to be formalized. However, due to the additi

Congruous

Reachability analysis of pushdown automata: Application to model-checking,e automata. In order to reason in a uniform way about analysis problems involving both existential and universal path quantification (such as model-checking for branching-time logics), we consider the more general class of . pushdown systems and use . finite-state automata as a representation struct

Favorable

Synthesis of nets with inhibitor arcs,aper we deal with the synthesis of elementary net systems extended with inhibitor arcs, i.e. arcs that test for absence of tokens in a place. We characterize the class of transitions systems corresponding to the sequential execution of these nets, which is a proper extension of the one obtained by t

易于

An algebraic theory of multiple clocks,f Milner‘s CCS that combines the idea of . from the algebra PMC with the assumption of . familiar from timed process algebras such as TPL. Using a typical class of examples drawn from hardware design, we motivate why these features are useful and in some cases necessary for modeling and verifying di