×

zbMATH — the first resource for mathematics

The Journal of Logic and Algebraic Programming

Short Title: J. Log. Algebr. Program.
Publisher: Elsevier Science Inc. (North-Holland), New York, NY
ISSN: 1567-8326
Online: http://www.sciencedirect.com/science/journal/15678326
Predecessor: The Journal of Logic Programming
Successor: Journal of Logical and Algebraic Methods in Programming
Comments: No longer indexed
Documents Indexed: 356 Publications (2001–2014)
References Indexed: 325 Publications with 11,208 References.
all top 5

Authors

7 Aceto, Luca
7 Berghammer, Rudolf
7 Möller, Bernhard
6 Bergstra, Jan A.
6 Johnsen, Einar Broch
6 Larsen, Kim Guldstrand
6 Middelburg, Cornelis A.
6 Steffen, Martin
5 Baeten, Jos C. M.
5 Groote, Jan Friso
5 Martí-Oliet, Narciso
5 Meseguer Guaita, José
5 Nunez, Manuel A.
5 Owe, Olaf
5 Schneider, Gerardo
5 Valero, Valentín
4 Bravetti, Mario
4 Diaz, Gregorio
4 Guttmann, Walter
4 Höfner, Peter
4 Ponse, Alban
4 Reniers, Michel Adriaan
4 Schmidt, Gunther
4 Struth, Georg
3 Banach, Richard
3 Brogi, Antonio
3 Cambronero, María Emilia
3 Ciobanu, Gabriel
3 Danicic, Sebastian
3 Fokkink, Willem Jan
3 Fournet, Cédric
3 Gnesi, Stefania
3 Hierons, Robert Mark
3 Ingólfsdóttir, Anna
3 Jeske, Czeslaw
3 Kahl, Wolfram
3 Kamareddine, Fairouz D.
3 Latella, Diego
3 Laurence, Michael R.
3 Lee, Insup
3 Legay, Axel
3 Macià, Hermenegilda
3 Massink, Mieke
3 Merayo, Mercedes G.
3 Pace, Gordon J.
3 Palomino, Miguel
3 Pérez-Jiménez, Mario J.
3 Rodríguez, Ismael
3 Rooda, Jacobus E.
3 Sokolsky, Oleg
3 Uustalu, Tarmo
3 Verdejo, Alberto
3 Winter, Michael
3 Zavattaro, Gianluigi
3 Zucker, Jeffery I.
2 Agrigoroaiei, Oana
2 Bethke, Inge
2 Bielova, Nataliia
2 Blanck, Jens
2 Bloo, Roel
2 Buscemi, Maria Grazia
2 Busi, Nadia
2 Cazorla, Diego
2 Costa, José Félix
2 Cuartero, Fernando
2 Cuijpers, Pieter J. L.
2 de Boer, Frank S.
2 Delahaye, Benoît
2 Desharnais, Jules
2 Dovland, Johan
2 Dragoni, Nicola
2 Duan, Zhenhua
2 Ésik, Zoltán
2 Fahrenberg, Uli
2 Francalanza, Adrian
2 Grabe, Immo
2 Guerra, Hélia
2 Hansen, Michael Reichhardt
2 Harman, N. A.
2 Haveraaen, Magne
2 Henglein, Fritz
2 Hennessy, Matthew C. B.
2 Hirschkoff, Daniel
2 Jacobs, Bart
2 Jäger, Gerhard
2 Katoen, Joost-Pieter
2 Koutny, Maciej
2 Künzi, Hans-Peter A.
2 Lakhnech, Yassine
2 Lämmel, Ralf
2 Lamo, Yngve
2 Leucker, Martin
2 Manca, Vincenzo
2 Martínez-del-Amor, Miguel Ángel
2 McIver, Annabelle K.
2 Montanari, Ugo G.
2 Mossakowski, Till
2 Navarro, Marisa
2 Nielson, Flemming
2 Orejas, Fernando
...and 510 more Authors

Publications by Year

Citations contained in zbMATH Open

260 Publications have been cited 1,511 times in 1,173 Documents Cited by Year
A structural approach to operational semantics. Zbl 1082.68062
Plotkin, Gordon D.
145
2004
The origins of structural operational semantics. Zbl 1072.68063
Plotkin, Gordon D.
47
2004
A brief account of runtime verification. Zbl 1192.68433
Leucker, Martin; Schallhart, Christian
37
2009
Reversing algebraic process calculi. Zbl 1123.68065
Phillips, Iain; Ulidowski, Irek
31
2007
Automated verification of selected equivalences for security protocols. Zbl 1135.68007
Blanchet, Bruno; Abadi, Martín; Fournet, Cédric
30
2008
Modular structural operational semantics. Zbl 1072.68061
Mosses, Peter D.
27
2004
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
26
2011
Constructor-based observational logic. Zbl 1088.68112
Bidoit, Michel; Hennicker, Rolf
25
2006
Program algebra for sequential code. Zbl 1008.68079
Bergstra, J. A.; Loots, M. E.
24
2002
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
24
2012
Linear parametric model checking of timed automata. Zbl 1008.68069
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
23
2002
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
22
2012
Hybrid process algebra. Zbl 1090.68071
Cuijpers, P. J. L.; Reniers, M. A.
21
2005
An overview of the K semantic framework. Zbl 1214.68188
Roşu, Grigore; Şerbănuţă, Traian Florin
20
2010
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065
Desharnais, Josée; Panangaden, Prakash
19
2003
Syntax and consistent equation semantics of hybrid Chi. Zbl 1088.68111
van Beek, D. A.; Man, K. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.
16
2006
The meaning of negative premises in transition system specifications. II. Zbl 1072.68075
van Glabbeek, R. J.
15
2004
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML. Zbl 1073.68678
Marché, C.; Paulin-Mohring, C.; Urbain, X.
15
2004
Combining programs and state machines. Zbl 1008.68068
Bergstra, Jan A.; Ponse, Alban
14
2002
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
14
2012
A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088
Fournet, Cédric; Gonthier, Georges
13
2005
Recent progress in exact geometric computation. Zbl 1080.68106
Li, Chen; Pion, S.; Yap, C. K.
13
2005
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. Zbl 1080.68519
Revol, N.; Makino, K.; Berz, M.
12
2005
Executable structural operational semantics in Maude. Zbl 1088.68095
Verdejo, Alberto; Martí-Oliet, Narciso
12
2006
Variable binding operators in transition system specifications. Zbl 0970.68117
Middelburg, C. A.
11
2001
Algebraic theory of probabilistic processes. Zbl 1048.68057
Núñez, Manuel
11
2003
Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. Zbl 1085.68094
Tucker, J. V.; Zucker, J. I.
11
2005
Pathway analysis for BioAmbients. Zbl 1147.92002
Pilegaard, Henrik; Nielson, Flemming; Nielson, Hanne Riis
11
2008
Quantitative analysis of weighted transition systems. Zbl 1204.68137
Thrane, Claus; Fahrenberg, Uli; Larsen, Kim G.
11
2010
Development graphs – proof management for structured specifications. Zbl 1088.68114
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
11
2006
Cut-free sequent systems for temporal logic. Zbl 1151.03009
Brünnler, Kai; Lange, Martin
10
2008
A double completion for an arbitrary \(T_0\)-quasi-metric space. Zbl 1211.54039
Künzi, Hans-Peter A.; Kivuvu, Charly Makitu
10
2008
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS. Zbl 1169.68031
Busi, Nadia; Gorrieri, Roberto
10
2009
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Characterizing and proving operational termination of deterministic conditional term rewriting systems. Zbl 1206.68163
Schernhammer, Felix; Gramlich, Bernhard
10
2010
Axiomatizability of representable domain algebras. Zbl 1207.68207
Hirsch, Robin; Mikulás, Szabolcs
10
2011
Indexed induction-recursion. Zbl 1080.68014
Dybjer, Peter; Setzer, Anton
9
2006
Axiomatizing GSOS with termination. Zbl 1072.68058
Baeten, J. C. M.; de Vink, E. P.
9
2004
Comparing disjunctive modal transition systems with an one-selecting variant. Zbl 1151.68035
Fecher, H.; Schmidt, H.
9
2008
A finite model construction for coalgebraic modal logic. Zbl 1127.03014
Schröder, Lutz
9
2007
A quick introduction to membrane computing. Zbl 1208.68127
Păun, Gheorghe
9
2010
Algebraic separation logic. Zbl 1260.03060
Dang, H.-H.; Höfner, P.; Möller, B.
9
2011
Ready to preorder: an algebraic and general proof. Zbl 1187.68309
de Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel
8
2009
Algebraic theory of probabilistic and nondeterministic processes. Zbl 1054.68091
Cazorla, Diego; Cuartero, Fernando; Valero, Valentín; Pelayo, Fernando L.; Pardo, J. José
8
2003
Verification of the Miller-Rabin probabilistic primality test. Zbl 1048.68051
Hurd, Joe
8
2003
CCS with priority guards. Zbl 1134.68042
Phillips, Iain
8
2008
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. Zbl 1243.68208
Zhu, Huibiao; Yang, Fan; He, Jifeng; Bowen, Jonathan P.; Sanders, Jeff W.; Qin, Shengchao
8
2012
Linearization in parallel pCRL. Zbl 0988.68121
Groote, J. F.; Ponse, A.; Usenko, Y. S.
7
2001
Focus points and convergent process operators: A proof strategy for protocol verification. Zbl 1015.68175
Groote, Jan Friso; Springintveld, Jan
7
2001
An alternative formulation of operational conservativity with binding terms. Zbl 1048.68056
Middelburg, C. A.
7
2003
Inheritance in the join calculus. Zbl 1035.03011
Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier
7
2003
Weakest pre-condition reasoning for Java programs with JML annotations. Zbl 1073.68024
Jacobs, Bart
7
2004
Operational semantics of Framed Tempura. Zbl 1170.68006
Yang, Xiaoxiao; Duan, Zhenhua
7
2008
An algebra of hybrid systems. Zbl 1161.68032
Höfner, Peter; Möller, Bernhard
7
2009
Composition mechanisms for retrenchment. Zbl 1137.68037
Banach, R.; Jeske, C.; Poppleton, M.
7
2008
A pi-calculus based semantics for WS-BPEL. Zbl 1178.68367
Lucchi, Roberto; Mazzara, Manuel
7
2007
Reachability analysis for timed automata using max-plus algebra. Zbl 1279.68214
Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim G.
7
2012
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2010
Synchronous Kleene algebra. Zbl 1204.68123
Prisacariu, Cristian
7
2010
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
7
2010
Behavioral interface description of an object-oriented language with futures and promises. Zbl 1187.68130
Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin
6
2009
Inheritance of behavior. Zbl 0974.68137
Basten, Twan; van der Aalst, Wil M. P.
6
2001
Is your model checker on time? On the complexity of model checking for timed modal logics. Zbl 1008.68030
Aceto, Luca; Laroussinie, François
6
2002
Adding recursive constructs to bialgebraic semantics. Zbl 1072.68059
Klin, Bartek
6
2004
Abstract interpretation of mobile systems. Zbl 1066.68087
Feret, Jérôme
6
2005
Canonical completeness of infinitary \(\mu \). Zbl 1156.68013
Jäger, Gerhard; Kretz, Mathis; Studer, Thomas
6
2008
Distributed system contract monitoring. Zbl 1283.68243
Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
6
2013
Kleene under a modal demonic star. Zbl 1086.68080
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz
6
2006
Abstract abstract reduction. Zbl 1086.68068
Struth, Georg
6
2006
\(\mathcal {HOTL}\): Hypotheses and observations testing logic. Zbl 1131.68064
Rodríguez, Ismael; Merayo, Mercedes G.; Núñez, Manuel
6
2008
Schedulability of asynchronous real-time concurrent objects. Zbl 1188.68085
Jaghoori, Mohammad Mahdi; de Boer, Frank S.; Chothia, Tom; Sirjani, Marjan
6
2009
Non-bisimulation-based Markovian behavioral equivalences. Zbl 1121.68077
Bernardo, Marco
6
2007
Test generation from P systems using model checking. Zbl 1208.68146
Ipate, Florentin; Gheorghe, Marian; Lefticaru, Raluca
6
2010
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
6
2010
Programming from Galois connections. Zbl 1257.68057
Mu, Shin-Cheng; Oliveira, José Nuno
6
2012
Using probabilistic Kleene algebra pKA for protocol verification. Zbl 1148.68034
McIver, A. K.; Gonzalia, C.; Cohen, E.; Morgan, C. C.
6
2008
Model-checking large structured Markov chains. Zbl 1048.68053
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten
5
2003
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. Zbl 1072.68070
Simpson, Alex
5
2004
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation. Zbl 1072.68074
Ulidowski, Irek; Yuen, Shoji
5
2004
The security pi-calculus and non-interference. Zbl 1067.68096
Hennessy, Matthew
5
2005
Program and proof optimizations with type systems. Zbl 1151.68008
Saabas, Ando; Uustalu, Tarmo
5
2008
Revivals, stuckness and the hierarchy of CSP models. Zbl 1171.68025
Roscoe, A. W.
5
2009
Relation-algebraic computation of fixed points with applications. Zbl 1086.68095
Berghammer, Rudolf
5
2006
Kleene modules and linear languages. Zbl 1086.68075
Leiß, Hans
5
2006
Partiality. I: Embedding relation algebras. Zbl 1086.68093
Schmidt, Gunther
5
2006
Service oriented computing from a process algebraic perspective. Zbl 1178.68072
Bravetti, Mario; Zavattaro, Gianluigi
5
2007
Timed mobility in process algebra and Petri nets. Zbl 1230.68154
Ciobanu, Gabriel; Koutny, Maciej
5
2011
Reversing computation in membrane systems. Zbl 1208.68121
Agrigoroaiei, Oana; Ciobanu, Gabriel
5
2010
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
5
2012
Modal transition systems with weight intervals. Zbl 1243.68215
Juhl, Line; Larsen, Kim G.; Srba, Jiří
5
2012
A theory for observational fault tolerance. Zbl 1123.68080
Francalanza, Adrian; Hennessy, Matthew
5
2007
Propositional dynamic logic with recursive programs. Zbl 1123.03017
Löding, Christof; Lutz, Carsten; Serre, Olivier
5
2007
A logic of reachable patterns in linked data-structures. Zbl 1121.03040
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
5
2007
Linearization of hybrid processes. Zbl 1088.68137
van den Brand, P. C. W.; Reniers, M. A.; Cuijpers, P. J. L.
5
2006
\(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis. Zbl 1192.68975
Schellekens, M. P.
5
2010
Axiomatizing the equational theory of regular tree languages. Zbl 1184.68315
Ésik, Z.
5
2010
Validation and verification of web services choreographies by using timed automata. Zbl 1207.68082
Cambronero, M. Emilia; Díaz, Gregorio; Valero, Valentín; Martínez, Enrique
5
2011
Contact, closure, topology, and the linking of row and column types of relations. Zbl 1231.03058
Schmidt, Gunther; Berghammer, Rudolf
5
2011
Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types. Zbl 1139.18005
Kahl, Wolfram
5
2008
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst
5
2006
Distributed system contract monitoring. Zbl 1283.68243
Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
6
2013
Free inductive \(K\)-semialgebras. Zbl 1286.68332
Ésik, Z.; Kuich, W.
3
2013
Computing and visualizing Banks sets of dominance relations using relation algebra and RelView. Zbl 1278.91049
Berghammer, Rudolf
3
2013
Contracts for cross-organizational workflows as timed dynamic condition response graphs. Zbl 1283.68245
Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs; Zanitti, Francesco
2
2013
Survey on JavaScript security policies and their enforcement mechanisms in a web browser. Zbl 1283.68063
Bielova, Nataliia
2
2013
A framework for conflict analysis of normative texts written in controlled natural language. Zbl 1283.68333
Angelov, Krasimir; Camilleri, John J.; Schneider, Gerardo
1
2013
Algorithmic type checking for a pi-calculus with name matching and session types. Zbl 1283.68127
Giunti, Marco
1
2013
Session types for safe web service orchestration. Zbl 1283.68065
Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro
1
2013
Rewriting-based repairing strategies for XML repositories. Zbl 1283.68130
Alpuente, María; Ballis, Demis; Falaschi, Moreno; Frechina, Francisco; Romero, Daniel
1
2013
Processes with infinite liveness requirements. Zbl 06236057
Guerra, Hélia; Costa, José Félix
1
2013
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
24
2012
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
22
2012
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
14
2012
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. Zbl 1243.68208
Zhu, Huibiao; Yang, Fan; He, Jifeng; Bowen, Jonathan P.; Sanders, Jeff W.; Qin, Shengchao
8
2012
Reachability analysis for timed automata using max-plus algebra. Zbl 1279.68214
Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim G.
7
2012
Programming from Galois connections. Zbl 1257.68057
Mu, Shin-Cheng; Oliveira, José Nuno
6
2012
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
5
2012
Modal transition systems with weight intervals. Zbl 1243.68215
Juhl, Line; Larsen, Kim G.; Srba, Jiří
5
2012
A dynamic deontic logic for complex contracts. Zbl 1258.03024
Prisacariu, Cristian; Schneider, Gerardo
4
2012
Consistency and refinement for interval Markov chains. Zbl 1247.68195
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
3
2012
A formal approach to the specification and transformation of constraints in MDE. Zbl 1246.68098
Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe
3
2012
Rewriting logic bibliography by topic: 1990–2011. Zbl 1262.03052
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
3
2012
Declarative debugging of rewriting logic specifications. Zbl 1279.68220
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
3
2012
Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097
Pun, Ka I.; Steffen, Martin; Stolz, Volker
2
2012
Static analysis of IMC. Zbl 1243.68220
Skrypnyuk, Nataliya; Nielson, Flemming; Pilegaard, Henrik
2
2012
Left omega algebras and regular equations. Zbl 1279.68242
Struth, Georg
2
2012
Rewriting semantics of production rule sets. Zbl 1279.68188
Katelman, Michael; Keller, Sean; Meseguer, José
2
2012
Synthesis of secure adaptors. Zbl 1236.68062
Martín, J. A.; Martinelli, F.; Pimentel, E.
1
2012
On the analysis of compensation correctness. Zbl 1246.68100
Vaz, Cátia; Ferreira, Carla
1
2012
Computing strong and weak bisimulations for psi-calculi. Zbl 1277.68192
Johansson, Magnus; Victor, Björn; Parrow, Joachim
1
2012
Termination detection for active objects. Zbl 1243.68221
de Boer, Frank S.; Grabe, Immo; Steffen, Martin
1
2012
Relation-algebraic modeling and solution of chessboard independence and domination problems. Zbl 1280.68301
Berghammer, Rudolf
1
2012
Partiality. II: Constructed relation algebras. Zbl 1255.03056
Schmidt, Gunther
1
2012
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
26
2011
Axiomatizability of representable domain algebras. Zbl 1207.68207
Hirsch, Robin; Mikulás, Szabolcs
10
2011
Algebraic separation logic. Zbl 1260.03060
Dang, H.-H.; Höfner, P.; Möller, B.
9
2011
Timed mobility in process algebra and Petri nets. Zbl 1230.68154
Ciobanu, Gabriel; Koutny, Maciej
5
2011
Validation and verification of web services choreographies by using timed automata. Zbl 1207.68082
Cambronero, M. Emilia; Díaz, Gregorio; Valero, Valentín; Martínez, Enrique
5
2011
Contact, closure, topology, and the linking of row and column types of relations. Zbl 1231.03058
Schmidt, Gunther; Berghammer, Rudolf
5
2011
QoS negotiation in service composition. Zbl 1207.68220
Buscemi, Maria Grazia; Montanari, Ugo
4
2011
Fixpoints for general correctness. Zbl 1216.68073
Guttmann, Walter
3
2011
Collagories: relation-algebraic reasoning for gluing constructions. Zbl 1216.68137
Kahl, Wolfram
3
2011
Structural operational semantics through context-dependent behaviour. Zbl 1223.68026
Colvin, Robert J.; Hayes, Ian J.
2
2011
Contracts for security adaptation. Zbl 1213.68615
Martín, J. A.; Pimentel, E.
2
2011
A contract-based approach to adaptivity. Zbl 1213.68208
Schroeder, Andreas; Bauer, Sebastian S.; Wirsing, Martin
2
2011
Building distributed controllers for systems with priorities. Zbl 1217.68057
Ben-Hafaiedh, Imene; Graf, Susanne; Quinton, Sophie
2
2011
Simple feature engineering via neat default retrenchments. Zbl 1231.68106
Banach, R.; Jeske, C.
1
2011
Permission to speak: a logic for access control and conformance. Zbl 1207.68115
Dinesh, Nikhil; Joshi, Aravind; Lee, Insup; Sokolsky, Oleg
1
2011
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. Zbl 1209.68136
Danicic, Sebastian; Hierons, Robert M.; Laurence, Michael R.
1
2011
A decentralised graphical implementation of mobile ambients. Zbl 1207.68224
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2011
Passage retrieval in legal texts. Zbl 1213.68668
Rosso, Paolo; Correa, Santiago; Buscaldi, Davide
1
2011
An overview of the K semantic framework. Zbl 1214.68188
Roşu, Grigore; Şerbănuţă, Traian Florin
20
2010
Quantitative analysis of weighted transition systems. Zbl 1204.68137
Thrane, Claus; Fahrenberg, Uli; Larsen, Kim G.
11
2010
Characterizing and proving operational termination of deterministic conditional term rewriting systems. Zbl 1206.68163
Schernhammer, Felix; Gramlich, Bernhard
10
2010
A quick introduction to membrane computing. Zbl 1208.68127
Păun, Gheorghe
9
2010
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2010
Synchronous Kleene algebra. Zbl 1204.68123
Prisacariu, Cristian
7
2010
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
7
2010
Test generation from P systems using model checking. Zbl 1208.68146
Ipate, Florentin; Gheorghe, Marian; Lefticaru, Raluca
6
2010
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
6
2010
Reversing computation in membrane systems. Zbl 1208.68121
Agrigoroaiei, Oana; Ciobanu, Gabriel
5
2010
\(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis. Zbl 1192.68975
Schellekens, M. P.
5
2010
Axiomatizing the equational theory of regular tree languages. Zbl 1184.68315
Ésik, Z.
5
2010
P systems and the Byzantine agreement. Zbl 1208.68116
Dinneen, Michael J.; Kim, Yun-Bum; Nicolescu, Radu
4
2010
Metabolic approximation of real periodical functions. Zbl 1208.68126
Manca, Vincenzo; Marchetti, Luca
4
2010
A formalisation of the copy-modify-merge approach to version control in MDE. Zbl 1204.68075
Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe
4
2010
Normal design algebra. Zbl 1184.68179
Guttmann, Walter; Möller, Bernhard
4
2010
Stronger compositions for retrenchments. Zbl 1209.68131
Banach, R.; Jeske, C.
3
2010
Relating fair testing and accordance for service replaceability. Zbl 1208.68087
Mooij, Arjan J.; Stahl, Christian; Voorhoeve, Marc
3
2010
Rule-based and object-based event structures for membrane systems. Zbl 1208.68122
Agrigoroaiei, Oana; Ciobanu, Gabriel
3
2010
Simulating a P system based efficient solution to SAT by using GPUs. Zbl 1208.68124
Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez-del-Amor, Miguel A.; Pérez-Hurtado, Ignacio; Pérez-Jiménez, Mario J.
3
2010
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Zbl 1205.68252
Fränzle, Martin; Teige, Tino; Eggers, Andreas
3
2010
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111
Höfner, Peter; Struth, Georg
3
2010
On the Wadge reducibility of \(k\)-partitions. Zbl 1186.03066
Selivanov, Victor L.
3
2010
Quasi-Boolean encodings and conditionals in algebraic specification. Zbl 1187.68322
Diaconescu, Răzvan
3
2010
P systems with control nuclei: the concept. Zbl 1208.68125
Chira, Camelia; Şerbănuţă, Traian Florin; Ştefănescu, Gheorghe
2
2010
A P-Lingua based simulator for tissue P systems. Zbl 1209.68260
Martínez-del-Amor, Miguel A.; Pérez-Hurtado, Ignacio; Pérez-Jiménez, Mario J.; Riscos-Núñez, Agustín
2
2010
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. Zbl 1204.68071
Degen, Markus; Thiemann, Peter; Wehr, Stefan
2
2010
Imperative abstractions for functional actions. Zbl 1205.68115
Guttmann, Walter
2
2010
The proof monad. Zbl 1208.68144
Kirchner, Florent; Muñoz, César
1
2010
Termination in higher-order concurrent calculi. Zbl 1205.68241
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
1
2010
Relation-algebraic specification and solution of special university timetabling problems. Zbl 1198.90168
Berghammer, Rudolf; Kehden, Britta
1
2010
Cardinality functions in allegories. Zbl 1207.18004
Kawahara, Yasuo; Winter, Michael
1
2010
Continuity and Lipschitz constants for projections. Zbl 1185.41024
Bridges, Douglas S.
1
2010
Similarity, topology, and uniformity. Zbl 1181.54031
Heckmann, Reinhold
1
2010
Implicit characterizations of FPTIME and NC revisited. Zbl 1192.68299
Niggl, Karl-Heinz; Wunderlich, Henning
1
2010
Problems, solutions, and completions. Zbl 1184.03059
Schuster, Peter
1
2010
A brief account of runtime verification. Zbl 1192.68433
Leucker, Martin; Schallhart, Christian
37
2009
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS. Zbl 1169.68031
Busi, Nadia; Gorrieri, Roberto
10
2009
Ready to preorder: an algebraic and general proof. Zbl 1187.68309
de Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel
8
2009
An algebra of hybrid systems. Zbl 1161.68032
Höfner, Peter; Möller, Bernhard
7
2009
Behavioral interface description of an object-oriented language with futures and promises. Zbl 1187.68130
Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin
6
2009
Schedulability of asynchronous real-time concurrent objects. Zbl 1188.68085
Jaghoori, Mohammad Mahdi; de Boer, Frank S.; Chothia, Tom; Sirjani, Marjan
6
2009
Revivals, stuckness and the hierarchy of CSP models. Zbl 1171.68025
Roscoe, A. W.
5
2009
Processes with local and global liveness requirements. Zbl 1169.68032
Guerra, Hélia; Costa, José Félix
3
2009
Provably correct runtime monitoring. Zbl 1192.68116
Aktug, Irem; Dam, Mads; Gurov, Dilian
3
2009
A Petri net approach for the design and analysis of web services choreographies. Zbl 1188.68205
Valero, Valentín; Cambronero, M. Emilia; Díaz, Gregorio; Macià, Hermenegilda
3
2009
Dynamic management of capabilities in a network aware coordination language. Zbl 1183.68041
Gorla, Daniele; Pugliese, Rosario
3
2009
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
3
2009
...and 160 more Documents
all top 5

Cited by 1,575 Authors

26 Meseguer Guaita, José
25 Aceto, Luca
23 Bergstra, Jan A.
22 Ingólfsdóttir, Anna
20 Larsen, Kim Guldstrand
18 Reniers, Michel Adriaan
17 Middelburg, Cornelis A.
17 Struth, Georg
16 Roşu, Grigore
13 Berghammer, Rudolf
13 Guttmann, Walter
13 Montanari, Ugo G.
12 Fokkink, Willem Jan
12 Owe, Olaf
12 Ulidowski, Irek
12 van Glabbeek, Robert Jan
11 Alpuente, María
11 Escobar, Santiago
11 Fahrenberg, Uli
10 Diaconescu, Răzvan
10 Francalanza, Adrian
10 Hayes, Ian J.
10 Höfner, Peter
10 Johnsen, Einar Broch
10 Möller, Bernhard
10 Şerbănuţă, Traian Florin
9 André, Étienne
9 Gregorio-Rodríguez, Carlos
9 Groote, Jan Friso
9 Hennicker, Rolf
9 Hierons, Robert Mark
9 Legay, Axel
9 Lucanu, Dorel
9 Phillips, Iain W.
9 Ponse, Alban
9 Tini, Simone
9 Yoshida, Nobuko
9 Zhu, Huibiao
8 Banach, Richard
8 Barbuti, Roberto
8 Colvin, Robert J.
8 de Frutos-Escrig, David
8 Falcone, Yliès
8 Luttik, Bas
8 Madeira, Alexandre
8 Milazzo, Paolo
8 Mossakowski, Till
8 Nielson, Flemming
8 Tiezzi, Francesco
8 Zucker, Jeffery I.
7 Baeten, Jos C. M.
7 Baier, Christel
7 Bonchi, Filippo
7 Ciobanu, Gabriel
7 Durán, Francisco
7 Futatsugi, Kokichi
7 Hoare, C. A. R. Tony
7 Katoen, Joost-Pieter
7 Klin, Bartek
7 Levi, Francesca
7 Martins, Manuel António
7 McIver, Annabelle K.
7 Mezzina, Claudio Antares
7 Nunez, Manuel A.
7 Pattinson, Dirk
7 Rusu, Vlad
7 Schröder, Lutz
7 Steffen, Martin
7 Tucker, John V.
6 Ballis, Demis
6 Barbosa, Luís Soares
6 Bodei, Chiara
6 Bouyer, Patricia
6 Bruni, Roberto
6 Cimini, Matteo
6 Delaune, Stéphanie
6 Dezani-Ciancaglini, Mariangiola
6 Duan, Zhenhua
6 Gadducci, Fabio
6 Gori, Roberta
6 Kremer, Steve
6 Maggiolo-Schettini, Andrea
6 Martí-Oliet, Narciso
6 Pantović, Jovanka
6 Riis Nielson, Hanne
6 Rodríguez, Ismael
6 Talcott, Carolyn L.
6 van de Pol, Jan Cornelis
6 Vogler, Walter
5 Bernardo, Marco
5 Bethke, Inge
5 Brodo, Linda
5 Castellani, Ilaria
5 Cuijpers, Pieter J. L.
5 Dang, Han-Hing
5 Danicic, Sebastian
5 de Boer, Frank S.
5 De Nicola, Rocco
5 Deng, Yuxin
5 Dovland, Johan
...and 1,475 more Authors
all top 5

Cited in 109 Journals

156 Theoretical Computer Science
106 The Journal of Logic and Algebraic Programming
102 Journal of Logical and Algebraic Methods in Programming
60 Formal Aspects of Computing
49 Information and Computation
42 MSCS. Mathematical Structures in Computer Science
27 Journal of Automated Reasoning
26 Formal Methods in System Design
25 Acta Informatica
19 Logical Methods in Computer Science
15 Information Processing Letters
14 Science of Computer Programming
11 Journal of Applied Logic
10 Annals of Pure and Applied Logic
10 International Journal of Foundations of Computer Science
10 Journal of Membrane Computing
9 Journal of Symbolic Computation
8 Journal of Computer and System Sciences
8 ACM Transactions on Computational Logic
7 Topology and its Applications
7 Journal of Functional Programming
5 Algebra Universalis
5 Annals of Mathematics and Artificial Intelligence
4 Artificial Intelligence
4 International Journal of Approximate Reasoning
4 Computational Geometry
4 International Journal of Computer Mathematics
4 Distributed Computing
4 Theory of Computing Systems
4 Soft Computing
4 Theory and Practice of Logic Programming
4 Logica Universalis
3 Fuzzy Sets and Systems
3 European Journal of Operational Research
3 The Bulletin of Symbolic Logic
3 Higher-Order and Symbolic Computation
2 Discrete Mathematics
2 Automatica
2 Computing
2 Information Sciences
2 Journal of Computational and Applied Mathematics
2 Journal of Pure and Applied Algebra
2 Programming and Computer Software
2 Semigroup Forum
2 Studia Logica
2 Applied Numerical Mathematics
2 Real-Time Systems
2 Discrete Event Dynamic Systems
2 Applied Categorical Structures
2 Journal of Applied Non-Classical Logics
2 Journal of the Egyptian Mathematical Society
2 Mathematical Problems in Engineering
2 Journal of Combinatorial Optimization
2 Discrete Dynamics in Nature and Society
2 Communications in Nonlinear Science and Numerical Simulation
2 International Journal of Applied Mathematics and Computer Science
2 RAIRO. Theoretical Informatics and Applications
2 Fundamenta Informaticae
2 Natural Computing
2 Computer Languages, Systems & Structures
2 Mathematics in Computer Science
2 Nonlinear Analysis. Hybrid Systems
2 The Review of Symbolic Logic
2 Axioms
2 Computer Science Review
1 Computer Methods in Applied Mechanics and Engineering
1 Discrete Applied Mathematics
1 International Journal of Control
1 Journal of Computational Physics
1 Mathematical Notes
1 Bulletin of Mathematical Biology
1 Applied Mathematics and Computation
1 International Journal of Mathematics and Mathematical Sciences
1 International Journal for Numerical Methods in Engineering
1 Journal of Combinatorial Theory. Series A
1 Mathematics and Computers in Simulation
1 Notre Dame Journal of Formal Logic
1 Synthese
1 Acta Mathematica Hungarica
1 Algorithmica
1 International Journal of Parallel Programming
1 Mathematical and Computer Modelling
1 Japan Journal of Industrial and Applied Mathematics
1 International Journal of Algebra and Computation
1 Applied Intelligence
1 Applied Mathematical Modelling
1 Glasnik Matematički. Serija III
1 Archive for Mathematical Logic
1 Journal of Mathematical Imaging and Vision
1 Journal of Logic, Language and Information
1 Journal of Computer and Systems Sciences International
1 Journal de Théorie des Nombres de Bordeaux
1 Journal of Mathematical Sciences (New York)
1 Numerical Linear Algebra with Applications
1 Mathematical Logic Quarterly (MLQ)
1 Complexity
1 Constraints
1 Nonlinear Dynamics
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
...and 9 more Journals

Citations by Year