Abstract is missing.
- Simulation and Verification of Asynchronous Systems by means of a Synchronous ModelNicolas Halbwachs, Louis Mandel. 3-14 [doi]
- Communicating with Synchronized EnvironmentsTiberiu Seceleanu, Axel Jantsch. 15-24 [doi]
- Throughput Analysis of Synchronous Data Flow GraphsAmir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij. 25-36 [doi]
- On process-algebraic verification of asynchronous circuitsXu Wang, Marta Z. Kwiatkowska. 37-46 [doi]
- On the Complexity of Consistency and Complete State Coding for Signal Transition GraphsJavier Esparza, Petr Jancar, Alexander Miller. 47-56 [doi]
- Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG UnfoldingsVictor Khomenko, Agnes Madalinski, Alexandre Yakovlev. 57-68 [doi]
- Schedulability Analysis of Petri Nets Based on Structural PropertiesCong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel. 69-78 [doi]
- High-level Synthesis for Highly Concurrent Hardware SystemsSunan Tugsinavisut, Roger Su, Peter A. Beerel. 79-90 [doi]
- Extended Timed Automata and Time Petri NetsPatricia Bouyer, Pierre-Alain Reynier, Serge Haddad. 91-100 [doi]
- Monitoring and fault-diagnosis with digital clocksKarine Altisen, Franck Cassez, Stavros Tripakis. 101-110 [doi]
- On-the-fly TCTL model checking for Time Petri Nets using state class graphsRachid Hadjidj, Hanifa Boucheneb. 111-122 [doi]
- Strategies for Optimised STG DecompositionMark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko. 123-132 [doi]
- Minimal Counterexamples in O(n log n) Memory and O(n^2) TimeHenri Hansen, Antti Kervinen. 133-142 [doi]
- Verifying Stochastic Well-formed Nets with CSL Model-Checking ToolsDavide Cerotti, Davide D Aprile, Susanna Donatelli, Jeremy Sproston. 143-152 [doi]
- Modelling Mobility with UML2.0 and PEPA NetsLeïla Kloul, Juliana Küster Filipe. 153-164 [doi]
- Models of Computation for Networks on ChipAxel Jantsch. 165-178 [doi]
- Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language)Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz. 179-188 [doi]
- Specification and Verification of Dynamic Communication SystemsJörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal. 189-200 [doi]
- Asynchronous Packet-Switching for Networks-on-ChipJun Xu, Reza Sotudeh, Mark B. Josephs. 201-207 [doi]
- Synthesis of Synchronous InterfacesPurandar Bhaduri, S. Ramesh. 208-216 [doi]
- Verification of a Data Synchronization Circuit For All TimeGeoffrey M. Brown. 217-228 [doi]
- Functional Model Exploration for Multimedia Applications via Algebraic OperatorsShinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli. 229-238 [doi]
- Towards an Algebra of Abstractions for Communicating ProcessesMaciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny. 239-250 [doi]
- Concurrency in Distributed Systems under Autonomous and Enforced ActionsArnim Wedig, Horst F. Wedde, Anca Lazarescu, Elisei Rotaru. 251-260 [doi]
- Synchronous + Concurrent + Sequential = Earlier than + Not later thanGabriel Juhás, Robert Lorenz, Sebastian Mauser. 261-272 [doi]
- New features in CPN-AMI 3: focusing on the analysis of complex distributed systemsAlexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg. 273-275 [doi]
- SDF:::3:::: SDF For FreeSander Stuijk, Marc Geilen, Twan Basten. 276-278 [doi]
- Yasper: a tool for workflow modeling and analysisKees M. van Hee, Olivia Oanea, Reinier Post, Lou J. Somers, Jan Martijn E. M. van der Werf. 279-282 [doi]