Baeten, J.C.M.
Baeten, J.C.M. (Josephus Cornelis Maria)
Baeten, Jos C.M.
Baeten, Jos C. M., 1954-....
Baeten, Josephus C. M. 1954-
Josephus Cornelis Maria Baeten
VIAF ID: 19904548 ( Personal )
Permalink: http://viaf.org/viaf/19904548
Preferred Forms
- 200 _ | ‡a Baeten ‡b Jos C. M.
-
-
- 100 1 _ ‡a Baeten, J. C. M.
- 100 1 _ ‡a Baeten, J. C. M.
-
-
-
-
- 100 1 _ ‡a Baeten, Jos C. M., ‡d 1954-....
-
- 100 1 _ ‡a Baeten, Jos C.M.
- 100 1 _ ‡a Baeten, Josephus C. M. ‡d 1954-
- 100 0 _ ‡a Josephus Cornelis Maria Baeten
4xx's: Alternate Name Forms (12)
Works
Title | Sources |
---|---|
Another look at abstraction in process algebra | |
Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings | |
Aximatizing GSOS with termination | |
Axiomatizing probabilistic processes : ACP with generative probabilities | |
Bounded stacks, bags and queues | |
CONCUR '99, c1999: | |
CONCUR'91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings | |
Conditional axioms and α/β calculus in process algebra | |
A congruence theorem for structured operational semantics with predicates | |
Deadlock behaviour in split and ST bisimulation semantics | |
Decidability of bisimulation equivalence for processes generating context-free languages | |
Delayed choice: an operator for joining Message Sequence Charts | |
Design of a specification language by abstract syntax engineering | |
Felicitatiebrieven aan Dick de Bruijn voor zijn negentigste verjaardag | |
Filters and ultrafilters over definable subsets of admissible ordinals | |
ICALP 2003 | |
Krzysztof Apt in beeld - en woord. | |
On equal terms : implementing algebraic specifications | |
On sequential composition, action prefixes and process prefix | |
On the consistency of Koomen's fair abstraction rule | |
Partial-order process algebra (and its relation to Petri nets) | |
Preservation of termination for explicit substitution | |
Procesalgebra : een formalisme voor parallelle, communicerende processen | |
Process algebra with timing | |
A process specification formalism based on static COLD | |
Processen en procesexpressies | |
Ready trace semantiek voor procesalgebra met prioriteitsoperator | |
real time process logic | |
Recursive process definitions with the state operator | |
Semantics for prolog via term rewrite systems | |
Specification and verification of a circuit in ACP | |
Specifying internet applications with Dicons | |
Syntax and defining equations for an interrupt mechanism in process algebra | |
TCS 2012. | |
Term rewriting systems with rule priorities | |
Theories of concurrency | |
A theory of executability : with a focus on the expressivity of process calculi. | |
Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings | |
The total order assumption |