A flat process calculus for nested membrane interactions. Zbl 1424.68101
Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide |
|
2014
|
Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109
Sokolova, Ana; de Vink, Erik; Woracek, Harald |
|
2009
|
Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001
Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca |
|
2010
|
Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030
Cheptea, Daniel; Georgescu, George; Mureşan, Claudia |
|
2015
|
Formations of monoids, congruences, and formal languages. Zbl 1423.68298
Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. |
|
2015
|
The consistency and complexity of multiplicative additive system virtual. Zbl 1424.03057
Horne, Ross |
|
2015
|
Synthesis of Petri nets with localities. Zbl 1424.68107
Koutny, Maciej; Pietkiewicz-Koutny, Marta |
|
2009
|
Contract-oriented computing in CO\(_2\). Zbl 1424.68097
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto |
|
2012
|
Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103
Hirschowitz, Tom; Pous, Damien |
|
2012
|
Overview of thirty semantic formalisms for Reo. Zbl 1424.68105
Jongmans, Sung-Shik T. Q.; Arbab, Farhad |
|
2012
|
Reversibility in massive concurrent systems. Zbl 1424.92028
Cardelli, Luca; Laneve, Cosimo |
|
2011
|
Tuplix calculus. Zbl 1424.68098
Bergstra, J. A.; Ponse, A.; Van Der Zwaag, M. B. |
|
2008
|
On safety properties and their monitoring. Zbl 1424.68043
Roşu, Grigore |
|
2012
|
Simultaneous Petri net synthesis. Zbl 1424.68099
Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro |
|
2018
|
Applications in enumerative combinatorics of infinite weighted automata and graphs. Zbl 1424.05151
De Castro, Rodrigo; Ramírez, Andrés; Ramírez, José L. |
|
2014
|
An event based semantics of P systems. Zbl 1424.92012
Pinna, G. Michele; Saba, Andrea |
|
2008
|
Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004
Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca |
|
2010
|
Petri nets for biologically motivated computing. Zbl 1424.92016
Kleijn, Jetty; Koutny, Maciej; Rozenberg, Grzegorz |
|
2011
|
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138
Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio |
|
2014
|
On activation, connection, and behavior in dynamic architectures. Zbl 1424.68003
Marmsoler, Diego; Gleirscher, Mario |
|
2016
|
Derived-term automata of multitape expressions with composition. Zbl 1424.68085
Demaille, Akim |
|
2017
|
(Skew) filters in residuated skew lattices. Zbl 1424.06027
Koohnavard, R.; Borumand Saeid, A. |
|
2018
|
Position automata for Kleene algebra with tests. Zbl 1424.68089
Silva, Alexandra |
|
2012
|
Simulation and verification in a process calculus for spatially-explicit ecological models. Zbl 1424.92059
Philippou, Anna; Toro, Mauricio; Antonaki, Margarita |
|
2013
|
Non-deterministic finite cover automata. Zbl 1424.68084
Câmpeanu, Cezar |
|
2015
|
Generalising KAT to verify weighted computations. Zbl 1513.68011
Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. |
|
2019
|
Secret sharing schemes with applications in security protocols. Zbl 1349.68080
Iftene, Sorin |
|
2006
|
Instruction sequences with indirect jumps. Zbl 1349.68048
Bergstra, J. A.; Middelburg, C. A. |
|
2007
|
Dynamic chromatic number of bipartite graphs. Zbl 1424.05103
Saqaeeyan, Sasan; Mollaahamdi, Esmaiel |
|
2016
|
Subvarieties of the variety of meadows. Zbl 1424.68095
Bergstra, Jan A.; Bethke, Inge |
|
2017
|
On partition metric space, index function, and data compression. Zbl 1424.68074
Simovici, Dan A.; Sizov, Roman |
|
2018
|
Fault-free refinements for interface automata. Zbl 1424.68088
Schinko, Ayleen; Vogler, Walter |
|
2018
|
Modular verification of interactive systems with an application to biology. Zbl 1424.68091
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo |
|
2011
|
GUBS, a behaviour-based language for design in synthetic biology. Zbl 1424.68090
Basso-Blandin, Adrien; Delaplace, Franck |
|
2013
|
Modular verification of qualitative pathway models with fairness. Zbl 1424.92015
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni |
|
2013
|
Formal analysis of Android’s permission-based security model. Zbl 1424.68029
Betarte, Gustavo; Campo, Juan; Luna, Carlos; Romano, Agustín |
|
2016
|
Probabilistic process algebra and strategic interleaving. Zbl 1513.68036
Middelburg, C. A. |
|
2020
|
A note on congruences of infinite bounded involution lattices. Zbl 1513.06010
Mureşan, Claudia |
|
2021
|
Topological characterization of the third type of triangular hex-derived networks. Zbl 1513.05076
Das, Shibsankar; Rai, Shikha |
|
2021
|
Imperative process algebra with abstraction. Zbl 07897380
Middelburg, C. A. |
|
2022
|
New results on minimal strongly imperfect graphs. Zbl 1424.05115
Anastasoaei, V.; Olaru, E. |
|
2008
|
An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037
Bergstra, J. A.; Ponse, A. |
|
2009
|
Errata to “Formations of monoids, congruences, and formal languages”. Zbl 1423.68299
Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. |
|
2016
|
Axioms for behavioural congruence of single-pass instruction sequences. Zbl 1424.68027
Bergstra, J. A.; Middelburg, C. A. |
|
2017
|
The reticulation of a universal algebra. Zbl 1424.08003
Georgescu, George; Muresan, Claudia |
|
2018
|
Pattern matching in link streams: timed-automata with finite memory. Zbl 1424.68083
Bertrand, Clément; Peschanski, Frédéric; Klaudel, Hanna; Latapy, Matthieu |
|
2018
|
State space reduction for dynamic process creation. Zbl 1424.93072
Klaudel, Hanna; Koutny, Maciej; Pelz, Elisabeth; Pommereau, Franck |
|
2010
|
Instruction sequence based non-uniform complexity classes. Zbl 1424.68036
Bergstra, Jan; Middelburg, Cornelis |
|
2014
|
Quasi-algebras versus regular algebras. I. Zbl 1424.06042
Iorgulescu, Afrodita |
|
2015
|
On instruction sets for Boolean registers in program algebra. Zbl 1424.68032
Bergstra, J. A.; Middelburg, C. A. |
|
2016
|
Most general algebraic specifications for an abstract datatype of rational numbers. Zbl 1513.68032
Bergstra, Jan A. |
|
2020
|
A complete axiomatisation for probabilistic trace equivalence. Zbl 1513.68037
Timmers, Ferry; Groote, Jan Friso |
|
2020
|
Instruction sequence faults with formal change justification. Zbl 1513.68008
Bergstra, Jan A. |
|
2020
|
On quantum-MV algebras. I: The orthomodular algebras. Zbl 1513.06031
Iorgulescu, Afrodita |
|
2021
|
Which arithmetical data types admit fracterm flattening? Zbl 07897378
Bergstra, Jan A.; Tucker, John V. |
|
2022
|
Maximal existential and universal width. Zbl 07897389
Keeler, Casey; Salomaa, Kai |
|
2023
|
On Nirmala indices of some hex-derived networks of type three and their subdivision networks. Zbl 07897393
Rai, Shikha; Das, Shibsankar |
|
2023
|
A cardinality inverse maximum flow problem. Zbl 1349.05157
Deaconu, Adrian |
|
2006
|
Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems. Zbl 1349.68097
Vinh, P. C. |
|
2007
|
Maximal existential and universal width. Zbl 07897389
Keeler, Casey; Salomaa, Kai |
|
2023
|
On Nirmala indices of some hex-derived networks of type three and their subdivision networks. Zbl 07897393
Rai, Shikha; Das, Shibsankar |
|
2023
|
Imperative process algebra with abstraction. Zbl 07897380
Middelburg, C. A. |
|
2022
|
Which arithmetical data types admit fracterm flattening? Zbl 07897378
Bergstra, Jan A.; Tucker, John V. |
|
2022
|
A note on congruences of infinite bounded involution lattices. Zbl 1513.06010
Mureşan, Claudia |
|
2021
|
Topological characterization of the third type of triangular hex-derived networks. Zbl 1513.05076
Das, Shibsankar; Rai, Shikha |
|
2021
|
On quantum-MV algebras. I: The orthomodular algebras. Zbl 1513.06031
Iorgulescu, Afrodita |
|
2021
|
Probabilistic process algebra and strategic interleaving. Zbl 1513.68036
Middelburg, C. A. |
|
2020
|
Most general algebraic specifications for an abstract datatype of rational numbers. Zbl 1513.68032
Bergstra, Jan A. |
|
2020
|
A complete axiomatisation for probabilistic trace equivalence. Zbl 1513.68037
Timmers, Ferry; Groote, Jan Friso |
|
2020
|
Instruction sequence faults with formal change justification. Zbl 1513.68008
Bergstra, Jan A. |
|
2020
|
Generalising KAT to verify weighted computations. Zbl 1513.68011
Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. |
|
2019
|
Simultaneous Petri net synthesis. Zbl 1424.68099
Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro |
|
2018
|
(Skew) filters in residuated skew lattices. Zbl 1424.06027
Koohnavard, R.; Borumand Saeid, A. |
|
2018
|
On partition metric space, index function, and data compression. Zbl 1424.68074
Simovici, Dan A.; Sizov, Roman |
|
2018
|
Fault-free refinements for interface automata. Zbl 1424.68088
Schinko, Ayleen; Vogler, Walter |
|
2018
|
The reticulation of a universal algebra. Zbl 1424.08003
Georgescu, George; Muresan, Claudia |
|
2018
|
Pattern matching in link streams: timed-automata with finite memory. Zbl 1424.68083
Bertrand, Clément; Peschanski, Frédéric; Klaudel, Hanna; Latapy, Matthieu |
|
2018
|
Derived-term automata of multitape expressions with composition. Zbl 1424.68085
Demaille, Akim |
|
2017
|
Subvarieties of the variety of meadows. Zbl 1424.68095
Bergstra, Jan A.; Bethke, Inge |
|
2017
|
Axioms for behavioural congruence of single-pass instruction sequences. Zbl 1424.68027
Bergstra, J. A.; Middelburg, C. A. |
|
2017
|
On activation, connection, and behavior in dynamic architectures. Zbl 1424.68003
Marmsoler, Diego; Gleirscher, Mario |
|
2016
|
Dynamic chromatic number of bipartite graphs. Zbl 1424.05103
Saqaeeyan, Sasan; Mollaahamdi, Esmaiel |
|
2016
|
Formal analysis of Android’s permission-based security model. Zbl 1424.68029
Betarte, Gustavo; Campo, Juan; Luna, Carlos; Romano, Agustín |
|
2016
|
Errata to “Formations of monoids, congruences, and formal languages”. Zbl 1423.68299
Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. |
|
2016
|
On instruction sets for Boolean registers in program algebra. Zbl 1424.68032
Bergstra, J. A.; Middelburg, C. A. |
|
2016
|
Boolean lifting properties for bounded distributive lattices. Zbl 1424.06030
Cheptea, Daniel; Georgescu, George; Mureşan, Claudia |
|
2015
|
Formations of monoids, congruences, and formal languages. Zbl 1423.68298
Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. |
|
2015
|
The consistency and complexity of multiplicative additive system virtual. Zbl 1424.03057
Horne, Ross |
|
2015
|
Non-deterministic finite cover automata. Zbl 1424.68084
Câmpeanu, Cezar |
|
2015
|
Quasi-algebras versus regular algebras. I. Zbl 1424.06042
Iorgulescu, Afrodita |
|
2015
|
A flat process calculus for nested membrane interactions. Zbl 1424.68101
Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide |
|
2014
|
Applications in enumerative combinatorics of infinite weighted automata and graphs. Zbl 1424.05151
De Castro, Rodrigo; Ramírez, Andrés; Ramírez, José L. |
|
2014
|
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138
Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio |
|
2014
|
Instruction sequence based non-uniform complexity classes. Zbl 1424.68036
Bergstra, Jan; Middelburg, Cornelis |
|
2014
|
Simulation and verification in a process calculus for spatially-explicit ecological models. Zbl 1424.92059
Philippou, Anna; Toro, Mauricio; Antonaki, Margarita |
|
2013
|
GUBS, a behaviour-based language for design in synthetic biology. Zbl 1424.68090
Basso-Blandin, Adrien; Delaplace, Franck |
|
2013
|
Modular verification of qualitative pathway models with fairness. Zbl 1424.92015
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni |
|
2013
|
Contract-oriented computing in CO\(_2\). Zbl 1424.68097
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto |
|
2012
|
Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103
Hirschowitz, Tom; Pous, Damien |
|
2012
|
Overview of thirty semantic formalisms for Reo. Zbl 1424.68105
Jongmans, Sung-Shik T. Q.; Arbab, Farhad |
|
2012
|
On safety properties and their monitoring. Zbl 1424.68043
Roşu, Grigore |
|
2012
|
Position automata for Kleene algebra with tests. Zbl 1424.68089
Silva, Alexandra |
|
2012
|
Reversibility in massive concurrent systems. Zbl 1424.92028
Cardelli, Luca; Laneve, Cosimo |
|
2011
|
Petri nets for biologically motivated computing. Zbl 1424.92016
Kleijn, Jetty; Koutny, Maciej; Rozenberg, Grzegorz |
|
2011
|
Modular verification of interactive systems with an application to biology. Zbl 1424.68091
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo |
|
2011
|
Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001
Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca |
|
2010
|
Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004
Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca |
|
2010
|
State space reduction for dynamic process creation. Zbl 1424.93072
Klaudel, Hanna; Koutny, Maciej; Pelz, Elisabeth; Pommereau, Franck |
|
2010
|
Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109
Sokolova, Ana; de Vink, Erik; Woracek, Harald |
|
2009
|
Synthesis of Petri nets with localities. Zbl 1424.68107
Koutny, Maciej; Pietkiewicz-Koutny, Marta |
|
2009
|
An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037
Bergstra, J. A.; Ponse, A. |
|
2009
|
Tuplix calculus. Zbl 1424.68098
Bergstra, J. A.; Ponse, A.; Van Der Zwaag, M. B. |
|
2008
|
An event based semantics of P systems. Zbl 1424.92012
Pinna, G. Michele; Saba, Andrea |
|
2008
|
New results on minimal strongly imperfect graphs. Zbl 1424.05115
Anastasoaei, V.; Olaru, E. |
|
2008
|
Instruction sequences with indirect jumps. Zbl 1349.68048
Bergstra, J. A.; Middelburg, C. A. |
|
2007
|
Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems. Zbl 1349.68097
Vinh, P. C. |
|
2007
|
Secret sharing schemes with applications in security protocols. Zbl 1349.68080
Iftene, Sorin |
|
2006
|
A cardinality inverse maximum flow problem. Zbl 1349.05157
Deaconu, Adrian |
|
2006
|