Add to ORKGIn this paper we define a computation of a B-machine in the form suitable specification component of the B-Method. We also describe the prerequisites of our definition of computation, which contain an addition to the theory of B-Method itself, and formulate the theorem about a relationship between our definition and semantics of the generalized substitution language, in which operations of B-machine are written
Colloque avec actes et comité de lecture.The paper introduces a new use for the B method as a means ...
Rapport interne.The B notation is based on set theory, the language of generalised substitutions and...
Applied process calculi include advanced programming constructs such as type systems, communication ...
Article dans revue scientifique avec comité de lecture.B is a method for specifying, designing and c...
We use the theorem prover Isabelle to formalise and machine-check results of the theory of generalis...
AbstractTo better understand the relationships between different models of parallel computation, we ...
B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel...
B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel...
The B method as a mathematical concept with its underlying theories will be presented. The presentat...
Machine Notation in Type Theory C'esar Mu~noz Computer Science Laboratory SRI International ...
Model transformation is an interesting task, which could take advantage of several modelling languag...
International audienceThis paper presents an extension of an algebra of high-level Petri nets with o...
Backward reachability on Petri net models has been proposed since the beginning of the development o...
The behavior of a Petri net is expressed as a formal language. Certain families of Petri net langua...
Abstract. Petri nets are studied as computing devices and links between some dynamical components an...
Colloque avec actes et comité de lecture.The paper introduces a new use for the B method as a means ...
Rapport interne.The B notation is based on set theory, the language of generalised substitutions and...
Applied process calculi include advanced programming constructs such as type systems, communication ...
Article dans revue scientifique avec comité de lecture.B is a method for specifying, designing and c...
We use the theorem prover Isabelle to formalise and machine-check results of the theory of generalis...
AbstractTo better understand the relationships between different models of parallel computation, we ...
B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel...
B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel...
The B method as a mathematical concept with its underlying theories will be presented. The presentat...
Machine Notation in Type Theory C'esar Mu~noz Computer Science Laboratory SRI International ...
Model transformation is an interesting task, which could take advantage of several modelling languag...
International audienceThis paper presents an extension of an algebra of high-level Petri nets with o...
Backward reachability on Petri net models has been proposed since the beginning of the development o...
The behavior of a Petri net is expressed as a formal language. Certain families of Petri net langua...
Abstract. Petri nets are studied as computing devices and links between some dynamical components an...
Colloque avec actes et comité de lecture.The paper introduces a new use for the B method as a means ...
Rapport interne.The B notation is based on set theory, the language of generalised substitutions and...
Applied process calculi include advanced programming constructs such as type systems, communication ...