Search

Your search keyword '"process semantics"' showing total 54 results

Search Constraints

Start Over You searched for: Descriptor "process semantics" Remove constraint Descriptor: "process semantics"
54 results on '"process semantics"'

Search Results

1. Ecological discourse analysis of Russian educational texts based on the transitivity system

2. Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages

3. When are prime formulae characteristic?

4. Causality in Structured Occurrence Nets

5. Removing redundant refusals: Minimal complete test suites for failure trace semantics.

6. Processes Against Tests: Defining Contextual Equivalences

7. When are prime formulae characteristic?

8. Processes, Systems & Tests: Defining Contextual Equivalences

9. Process, Systems and Tests: Three Layers in Concurrent Computation

10. Mutex Causality in Processes and Traces of General Elementary Nets.

12. Exploiting step semantics for efficient bounded model checking of asynchronous systems

13. Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity

14. Localities in systems with a/sync communication

15. The logic of message-passing

16. Requirements for design of processes.

17. Complete Process Semantics of Petri Nets.

18. Petri net reactive modules

19. Mining task post-conditions: Automating the acquisition of process semantics

20. Localic sup-lattices and tropological systems

21. Modeling Terms by Graphs with Structure Constraints (Two Illustrations)

22. Testing Equivalence vs. Runtime Monitoring

23. The Limitations of Cross-language Word Embeddings Evaluation

24. A Language For Multiplicative-additive Linear Logic.

25. UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance.

26. Quantales‚ Observational Logic and Process Semantics

27. The logic of message-passing

28. COMPARING COLLABORATIVE AND PROCESS SEMANTICS FOR COOPERATIVE INFORMATION SYSTEMS

29. When Are Prime Formulae Characteristic?

30. Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story

31. A Language For Multiplicative-additive Linear Logic

32. Localic sup-lattices and tropological systems

33. UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance

34. Distributed processes and location failures

35. On reduction-based process semantics

36. 3.2.4 A PROCESS DRIVEN APPROACH TO INTEGRATED ENVIRONMENTS

37. Defining Distances for All Process Semantics

38. Divide and congruence: From decomposition of modal formulas to preservation of branching and eta-bisimilarity

39. Causality in Structured Occurrence Nets

40. Axiomatizing Weak Ready Simulation Semantics over BCCSP

41. SWWS 2011, MONET 2011 and SeDeS 2011 PC Co-chairs' Message

42. Unifying the linear time-branching time spectrum of strong process semantics

43. Complete Process Semantics for Inhibitor Nets

44. Infinite Process Semantics of Inhibitor Nets

45. Non-sequential Behaviour of Dynamic Nets

46. XI. (APPENDIX) PROCESS SEMANTICS

47. Causality Semantics of Petri Nets with Weighted Inhibitor Arcs

48. A π-calculus Process Semantics of Concurrent Idealised ALGOL

49. Nurse-led ontology construction: A design science approach

50. Process semantics of general inhibitor nets

Catalog

Books, media, physical & digital resources