Found 51 Documents (Results 1–51)
Algorithmic type checking for a pi-calculus with name matching and session types. (English) Zbl 1283.68127
Computing and visualizing Banks sets of dominance relations using relation algebra and RelView. (English) Zbl 1278.91049
Twenty years of rewriting logic. (English) Zbl 1267.03043
Reviewer: Johan Georg Granström (Zürich)
Relation-algebraic modeling and solution of chessboard independence and domination problems. (English) Zbl 1280.68301
Static analysis of IMC. (English) Zbl 1243.68220
MSC:
68Q85
Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control. (English) Zbl 1259.03044
Timed mobility in process algebra and Petri nets. (English) Zbl 1230.68154
Reviewer: Damas Gruska (Bratislava)
MSC:
68Q85
Contact, closure, topology, and the linking of row and column types of relations. (English) Zbl 1231.03058
Synchronous Kleene algebra. (English) Zbl 1204.68123
MSC:
68Q45
Lazy behavioral subtyping. (English) Zbl 1204.68072
MSC:
68N99
Relating fair testing and accordance for service replaceability. (English) Zbl 1208.68087
MSC:
68M15
Automatically testing interactive applications using extended task trees. (English) Zbl 1175.68113
MSC:
68N30
A Petri net approach for the design and analysis of web services choreographies. (English) Zbl 1188.68205
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS. (English) Zbl 1169.68031
CCS with priority guards. (English) Zbl 1134.68042
MSC:
68Q85
Performance of pipelined asynchronous systems. (English) Zbl 1106.68072
MSC:
68Q85
Verifying an infinite systolic algorithm using third-order equational methods. (English) Zbl 1101.68056
On testing UML statecharts. (English) Zbl 1101.68014
Linearization of hybrid processes. (English) Zbl 1088.68137
MSC:
68Q85
Kleene under a modal demonic star. (English) Zbl 1086.68080
MSC:
68Q55
Abstract interpretation of mobile systems. (English) Zbl 1066.68087
MSC:
68Q85
Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. (English) Zbl 1085.68094
MSC:
68Q65
Hybrid process algebra. (English) Zbl 1090.68071
MSC:
68Q85
Manipulating algebraic specifications with term-based and graph-based representations. (English) Zbl 1068.68084
MSC:
68Q65
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. (English) Zbl 1072.68070
On the use of MTBDDs for performability analysis and verification of stochastic systems. (English) Zbl 1054.68018
Inheritance of behavior. (English) Zbl 0974.68137
MSC:
68Q85
Filter Results by …
all
top 5
Author
- Berghammer, Rudolf (3)
- Costa, José Félix (2)
- Cuijpers, Pieter J. L. (2)
- Guerra, Hélia (2)
- Harman, N. A. (2)
- Phillips, Iain W. (2)
- Reniers, Michel Adriaan (2)
- Steffen, Martin (2)
- Aranda-López, Gabriel (1)
- Barbuti, Roberto (1)
- Basten, Twan (1)
- Bidoit, Michel (1)
- Bsaïes, Khaled (1)
- Buscemi, Maria Grazia (1)
- Busi, Nadia (1)
- Cambronero, María Emilia (1)
- Choppy, Christine (1)
- Ciobanu, Gabriel (1)
- Corradini, Flavio (1)
- Crolard, Tristan (1)
- Déharbe, David (1)
- Desharnais, Jules (1)
- Diaz, Gregorio (1)
- Dovland, Johan (1)
- Duan, Zhenhua (1)
- Feret, Jérôme (1)
- Fokkink, Willem Jan (1)
- Fournet, Cédric (1)
- Fox, A. J. C. (1)
- Gardner, Philippa Anne (1)
- Ghardallou, Wided (1)
- Giesl, Jürgen (1)
- Giunti, Marco (1)
- Gnesi, Stefania (1)
- Gonthier, Georges (1)
- Gorrieri, Roberto (1)
- Guttmann, Walter (1)
- Hennicker, Rolf (1)
- Hermanns, Holger (1)
- Hofman, Rutger (1)
- Johansson, Magnus M. (1)
- Johnsen, Einar Broch (1)
- Koutny, Maciej (1)
- Kühnemann, Armin (1)
- Kwiatkowska, Marta Z. (1)
- Labed Jilani, Lamia (1)
- Lämmel, Ralf (1)
- Latella, Diego (1)
- Lima, Gleydson (1)
- Louhichi, Asma (1)
- Macià, Hermenegilda (1)
- Madani, Laya (1)
- Maffeis, Sergio (1)
- Maggiolo-Schettini, Andrea (1)
- Martins Moreira, Anamaria (1)
- Massink, Mieke (1)
- Meseguer Guaita, José (1)
- Middelburg, Cornelis A. (1)
- Milazzo, Paolo (1)
- Mili, Ali (1)
- Möller, Bernhard (1)
- Montanari, Ugo G. (1)
- Mooij, Arjan J. (1)
- Mraihi, Olfa (1)
- Navarro, Marisa (1)
- Nielson, Flemming (1)
- Nieva, Susana (1)
- Norman, Gethin (1)
- Orejas, Fernando (1)
- Owe, Olaf (1)
- Pang, Jun (1)
- Parissis, Ioannis (1)
- Parker, David F. (1)
- Parrow, Joachim (1)
- Pasarella, Edelmira (1)
- Pilegaard, Henrik (1)
- Pino, Elvira (1)
- Polonowski, Emmanuel (1)
- Prisacariu, Cristian (1)
- Pun, Ka I. (1)
- Reggio, Gianna (1)
- Ringeissen, Christophe (1)
- Roscoe, Andrew William (1)
- Roşu, Grigore (1)
- Sáenz-Pérez, Fernando (1)
- Sánchez-Hernández, Jaime (1)
- Schmidt, Gunther (1)
- Şerbănuţă, Traian Florin (1)
- Siegle, Markus (1)
- Simpson, Alex K. (1)
- Skrypnyuk, Nataliya (1)
- Stahl, Christian (1)
- Steggles, L. Jason (1)
- Stolz, Volker (1)
- Tchier, Fairouz (1)
- Tini, Simone (1)
- Tucker, John V. (1)
- Ulidowski, Irek (1)
- Valero, Valentín (1)
- van den Brand, P. C. W. (1)
- and 8 more Authors
all
top 5
Volume
- 83, No. 1 (2014) (1)
- 82, No. 8 (2013) (1)
- 82, No. 3-4 (2013) (2)
- 81, No. 7-8 (2012) (1)
- 81, No. 6 (2012) (1)
- 81, No. 5 (2012) (2)
- 81, No. 4 (2012) (1)
- 81, No. 3 (2012) (3)
- 80, No. 7 (2011) (1)
- 80, No. 6 (2011) (2)
- 79, No. 7 (2010) (2)
- 79, No. 6 (2010) (2)
- 79, No. 3-5 (2010) (1)
- 78, No. 6 (2009) (1)
- 78, No. 5 (2009) (1)
- 78, No. 3 (2009) (3)
- 78, No. 1 (2008) (1)
- 75, No. 1 (2008) (2)
- 74, No. 1 (2007) (1)
- 73, No. 1-2 (2007) (1)
- 72, No. 1 (2007) (1)
- 71, No. 2 (2007) (1)
- 71, No. 1 (2007) (1)
- 70, No. 2 (2007) (1)
- 69, No. 1-2 (2006) (2)
- 68, No. 1-2 (2006) (1)
- 67, No. 1-2 (2006) (2)
- 66, No. 2 (2006) (1)
- 63, No. 1 (2005) (2)
- 62, No. 2 (2005) (1)
- 62, No. 1 (2005) (1)
- 60-61 (2004) (2)
- 59, No. 1-2 (2004) (1)
- 57, No. 1-2 (2003) (1)
- 56, No. 1-2 (2003) (1)
- 47, No. 2 (2001) (1)
- 47, No. 1 (2001) (1)
all
top 3
Software
- Maude (3)
- RelView (3)
- AProVE (2)
- CASL (2)
- CafeOBJ (2)
- ELAN (2)
- JavaFAN (2)
- K Prover (2)
- K-Maude (2)
- KOOL (2)
- LARCH (2)
- LOTOS (2)
- ML (2)
- Nuprl (2)
- OBJ3 (2)
- Z (2)
- 2OBJ (1)
- ALGOL 60 (1)
- ASF+SDF (1)
- ATERM (1)
- CACTUS (1)
- CADP (1)
- CARIBOO (1)
- CC-Pi (1)
- CUDD (1)
- CoFI (1)
- Creol (1)
- Cyclone (1)
- DDebugger (1)
- Daikon (1)
- Datalog (1)
- Dist-Orc (1)
- Elf (1)
- Esterel (1)
- FDR2 (1)
- FLATA (1)
- FastAsy (1)
- Featherweight Java (1)
- HOL (1)
- HasCasl (1)
- Haskell (1)
- ITP (1)
- ITP/OCL (1)
- Isabelle/HOL (1)
- JML (1)
- Java+ITP (1)
- K tool (1)
- KAT-ML (1)
- LOOPUS (1)
- LUSTRE (1)
- Lutess (1)
- M-nets (1)
- MAYA (1)
- METATEM (1)
- MFE (1)
- MGS (1)
- MMT (1)
- MOMENT2 (1)
- MTT (1)
- MU-TERM (1)
- MWB (1)
- Mathematica (1)
- Maude-NPA (1)
- MetaOCaml (1)
- NRL (1)
- PAGODA (1)
- PMaude (1)
- PRISM (1)
- PVS (1)
- PVeStA (1)
- Petruchio (1)
- PiDuce (1)
- PolyTOIL (1)
- Psi-calculi (1)
- Ptolemy (1)
- QML (1)
- RRL (1)
- RacerX (1)
- ReSpecT (1)
- SCC (1)
- SLMC (1)
- SPARK (1)
- SPIN (1)
- SWI-Prolog (1)
- SafeDpi (1)
- Simula 67 (1)
- Spec# (1)
- Stratego (1)
- SymPLFIED (1)
- Tom (1)
- Twelf (1)
- VESTA (1)
- Velev SAT Benchmarks (1)
- XDuce (1)
- XPath (1)
- XPi (1)
- Ynot (1)
- clpfd (1)
- mCRL2 (1)
- vlogsl (1)