|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
51 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Compositional Coalgebraic Model of a Fragment of Fusion Calculus |
Buscemi, Maria Grazia |
2006 |
162 | C |
p. 135-139 5 p. |
artikel |
|
| 2 | A Family of Resource-Bound Real-Time Process Algebras |
Lee, Insup |
2006 |
162 | C |
p. 221-226 6 p. |
artikel |
|
| 3 | A Generalization of ACP Using Belnap's Logic |
Ponse, Alban |
2006 |
162 | C |
p. 287-293 7 p. |
artikel |
|
| 4 | A Generic Process Algebra |
Baeten, Jos C.M. |
2006 |
162 | C |
p. 65-71 7 p. |
artikel |
|
| 5 | An Interview with Robin Milner |
2006 |
162 | C |
p. 3-36 34 p. |
artikel |
||
| 6 | Anonymity in Probabilistic and Nondeterministic Systems |
Palamidessi, Catuscia |
2006 |
162 | C |
p. 277-279 3 p. |
artikel |
|
| 7 | A Process Algebraic View of Coordination |
Busi, Nadia |
2006 |
162 | C |
p. 141-145 5 p. |
artikel |
|
| 8 | A Proof Theoretic Approach to Operational Semantics |
Miller, Dale |
2006 |
162 | C |
p. 243-247 5 p. |
artikel |
|
| 9 | A Prospectus for Mobile Broadcasting Systems |
Prasad, K.V.S. |
2006 |
162 | C |
p. 295-300 6 p. |
artikel |
|
| 10 | A Rude Contract Language for Web Services |
Carpineti, Samuele |
2006 |
162 | C |
p. 147-152 6 p. |
artikel |
|
| 11 | Bisimulation and Co-induction: Some Problems |
Sangiorgi, Davide |
2006 |
162 | C |
p. 311-315 5 p. |
artikel |
|
| 12 | Bisimulation and Simulation Relations for Markov Chains |
Baier, Christel |
2006 |
162 | C |
p. 73-78 6 p. |
artikel |
|
| 13 | Cascade Products and Temporal Logics on Finite Trees |
Ésik, Zoltán |
2006 |
162 | C |
p. 163-166 4 p. |
artikel |
|
| 14 | Conditionals in Algebraic Process Calculi |
Middelburg, C.A. |
2006 |
162 | C |
p. 237-241 5 p. |
artikel |
|
| 15 | Confluence Thanks to Extensional Determinism |
Roscoe, A.W. |
2006 |
162 | C |
p. 305-309 5 p. |
artikel |
|
| 16 | Constraint-Based Concurrency and Beyond |
Ueda, Kazunori |
2006 |
162 | C |
p. 327-331 5 p. |
artikel |
|
| 17 | Discretization of Timed Automata in Timed μCRL à la Regions and Zones |
Groote, Jan Friso |
2006 |
162 | C |
p. 197-202 6 p. |
artikel |
|
| 18 | From μCRL to mCRL2 |
Groote, Jan Friso |
2006 |
162 | C |
p. 191-196 6 p. |
artikel |
|
| 19 | From Process Calculi to Klaim and Back |
De Nicola, Rocco |
2006 |
162 | C |
p. 159-162 4 p. |
artikel |
|
| 20 | Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity |
Bernardo, Marco |
2006 |
162 | C |
p. 87-99 13 p. |
artikel |
|
| 21 | Modelling Dynamically Changing Hardware Structure |
Milne, George J. |
2006 |
162 | C |
p. 249-254 6 p. |
artikel |
|
| 22 | Monte Carlo Methods for Process Algebra |
Grosu, Radu |
2006 |
162 | C |
p. 203-207 5 p. |
artikel |
|
| 23 | Much Ado About Nothing? |
Fuzzati, Rachele |
2006 |
162 | C |
p. 167-171 5 p. |
artikel |
|
| 24 | On Combining Probability and Nondeterminism |
Mislove, M.W. |
2006 |
162 | C |
p. 261-265 5 p. |
artikel |
|
| 25 | On Specifying Timeouts |
van Glabbeek, Rob |
2006 |
162 | C |
p. 173-175 3 p. |
artikel |
|
| 26 | On the Design Rationale of ACP Style Process Algebras |
Bergstra, Jan A. |
2006 |
162 | C |
p. 79-85 7 p. |
artikel |
|
| 27 | Operational Semantics of Reversibility in Process Algebra |
Phillips, Iain |
2006 |
162 | C |
p. 281-286 6 p. |
artikel |
|
| 28 | Pervasive Process Calculus |
Milner, Robin |
2006 |
162 | C |
p. 255-259 5 p. |
artikel |
|
| 29 | Preface |
Aceto, Luca |
2006 |
162 | C |
p. 1-2 2 p. |
artikel |
|
| 30 | Process Algebra as Modelling |
Tofts, Chris |
2006 |
162 | C |
p. 323-326 4 p. |
artikel |
|
| 31 | Process Algebras in the Age of Ubiquitous Computing |
Honda, Kohei |
2006 |
162 | C |
p. 217-220 4 p. |
artikel |
|
| 32 | Process Algebra Under the Light of Wolfram's NKS |
Bolognesi, Tommaso |
2006 |
162 | C |
p. 101-105 5 p. |
artikel |
|
| 33 | Process Calculi and Life Science |
Priami, Corrado |
2006 |
162 | C |
p. 301-304 4 p. |
artikel |
|
| 34 | Process Calculi and Peer-to-peer Web Data Integration |
Maffeis, Sergio |
2006 |
162 | C |
p. 233-236 4 p. |
artikel |
|
| 35 | Process Calculi: The End of the Beginning? |
Sewell, Peter |
2006 |
162 | C |
p. 317-321 5 p. |
artikel |
|
| 36 | Reactive Concurrent Programming Revisited |
Amadio, Roberto M. |
2006 |
162 | C |
p. 49-60 12 p. |
artikel |
|
| 37 | Reflections on a Geometry of Processes |
Grabmayer, Clemens |
2006 |
162 | C |
p. 183-190 8 p. |
artikel |
|
| 38 | Retracing CSP |
Brookes, Stephen |
2006 |
162 | C |
p. 127-133 7 p. |
artikel |
|
| 39 | Service Oriented Computing: A New Challenge for Process Algebras |
Bravetti, Mario |
2006 |
162 | C |
p. 121-125 5 p. |
artikel |
|
| 40 | Six Themes for Future Concurrency Research |
Baeten, J.C.M. |
2006 |
162 | C |
p. 61-64 4 p. |
artikel |
|
| 41 | Stochastic and Real Time in Process Algebra: A Conceptual Overview |
Bravetti, Mario |
2006 |
162 | C |
p. 113-119 7 p. |
artikel |
|
| 42 | The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems |
Aceto, Luca |
2006 |
162 | C |
p. 43-48 6 p. |
artikel |
|
| 43 | Timed CSP: A Retrospective |
Ouaknine, Joël |
2006 |
162 | C |
p. 273-276 4 p. |
artikel |
|
| 44 | Topological Aspects of Hybrid Processes |
Cuijpers, P.J.L. |
2006 |
162 | C |
p. 153-158 6 p. |
artikel |
|
| 45 | Towards SOS Meta-Theory for Language-Based Security |
Mousavi, MohammadReza |
2006 |
162 | C |
p. 267-271 5 p. |
artikel |
|
| 46 | Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness |
Yoshida, Nobuko |
2006 |
162 | C |
p. 333-340 8 p. |
artikel |
|
| 47 | V for Virtual |
Gordon, Andrew D. |
2006 |
162 | C |
p. 177-181 5 p. |
artikel |
|
| 48 | What are the Fundamental Structures of Concurrency? |
Abramsky, Samson |
2006 |
162 | C |
p. 37-41 5 p. |
artikel |
|
| 49 | What is algebraic in process theory? |
Luttik, Bas |
2006 |
162 | C |
p. 227-231 5 p. |
artikel |
|
| 50 | Why ever CSP? |
Hoare, Tony |
2006 |
162 | C |
p. 209-215 7 p. |
artikel |
|
| 51 | YMCA |
Bravetti, Mario |
2006 |
162 | C |
p. 107-112 6 p. |
artikel |
51 gevonden resultaten