default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarco Bernardo 0001
Person information
- affiliation: University of Urbino, Department of Pure and Applied Sciences, Italy
- affiliation (former): University of Bologna, Italy
Other persons with the same name
- Marco V. Bernardo
![[0000-0003-0046-8685]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0003-0046-8685")
(aka: Marco Bernardo 0002) — University of Beira Interior, Covilhã, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c73]Andrea Esposito, Alessandro Aldini, Marco Bernardo:
Noninterference Analysis of Reversible Probabilistic Systems. FORTE 2024: 39-59- 2023
- [j32]Marco Bernardo, Claudio Antares Mezzina:
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach. Log. Methods Comput. Sci. 19(2) (2023) - [c72]Marco Bernardo, Claudio Antares Mezzina:
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. FORMATS 2023: 15-32 - [c71]Andrea Esposito, Alessandro Aldini, Marco Bernardo:
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. FORTE 2023: 57-74 - [c70]Marco Bernardo, Sabina Rossi:
Reverse Bisimilarity vs. Forward Bisimilarity. FoSSaCS 2023: 265-284 - [c69]Marco Bernardo, Andrea Esposito:
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity. ICTCS 2023: 44-58 - [c68]Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen:
Causal Reversibility Implies Time Reversibility. QEST 2023: 270-287 - [c67]Marco Bernardo, Andrea Esposito:
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities. GandALF 2023: 67-81 - [i5]Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi:
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. CoRR abs/2311.15670 (2023) - 2022
- [j31]Marco Bernardo:
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent. Found. Trends Program. Lang. 7(4): 244-332 (2022) - [i4]Marco Bernardo, Claudio Antares Mezzina:
Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach. CoRR abs/2205.01420 (2022) - 2020
- [j30]Alessandro Aldini, Marco Bernardo:
The Italian Conference on Theoretical Computer Science. Theor. Comput. Sci. 815: 310 (2020) - [c66]Marco Bernardo, Claudio Antares Mezzina:
Towards Bridging Time and Causal Reversibility. FORTE 2020: 22-38 - [c65]Marco Bernardo:
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions. ICTCS 2020: 208-222 - [c64]Marco Bernardo:
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism. QEST 2020: 35-53 - [c63]Marco Bernardo:
Towards General Axiomatizations for Bisimilarity and Trace Semantics. WADT 2020: 31-53
2010 – 2019
- 2019
- [j29]Luca Berardinelli, Marco Bernardo, Vittorio Cortellessa, Antinisca Di Marco:
Multidimensional context modeling applied to non-functional analysis of software. Softw. Syst. Model. 18(3): 2137-2176 (2019) - [j28]Marco Bernardo, Marino Miculan:
Constructive logical characterizations of bisimilarity for reactive probabilistic systems. Theor. Comput. Sci. 764: 80-99 (2019) - [c62]Marco Bernardo:
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 92-111 - [c61]Marco Bernardo:
Coherent Resolutions of Nondeterminism. EPEW 2019: 16-32 - 2018
- [j27]Marco Bernardo:
ULTraS at work: Compositionality metaresults for bisimulation and trace semantics. J. Log. Algebraic Methods Program. 94: 150-182 (2018) - [e16]Alessandro Aldini, Marco Bernardo:
Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018. CEUR Workshop Proceedings 2243, CEUR-WS.org 2018 [contents] - [i3]Marco Bernardo, Edoardo Bontà, Alessandro Aldini:
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications. CoRR abs/1805.11676 (2018) - 2016
- [j26]Marco Bernardo, Flavio Corradini, Luca Tesei:
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. Theor. Comput. Sci. 629: 2-39 (2016) - [c60]Marco Bernardo, Marino Miculan:
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. ICTCS 2016: 203-220 - [e15]Marco Bernardo, Rocco De Nicola, Jane Hillston:
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Lecture Notes in Computer Science 9700, Springer 2016, ISBN 978-3-319-34095-1 [contents] - [i2]Marco Bernardo, Marino Miculan:
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. CoRR abs/1601.06198 (2016) - 2015
- [j25]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1): 61-106 (2015) - [j24]Marco Bernardo, Daniel Gebler, Michele Loreti:
Editorial for the Special Issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 84(6): 731 (2015) - [j23]Marco Bernardo:
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi. Theor. Comput. Sci. 563: 99-143 (2015) - [c59]Alessandro Aldini, Marco Bernardo:
Expected-Delay-Summing Weak Bisimilarity for Markov Automata. QAPL 2015: 1-15 - [e14]Marco Bernardo, Einar Broch Johnsen:
Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures. Lecture Notes in Computer Science 9104, Springer 2015, ISBN 978-3-319-18940-6 [contents] - 2014
- [j22]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Log. Methods Comput. Sci. 10(1) (2014) - [j21]Marco Bernardo, Daniel Gebler, Michele Loreti:
Report on OPCT 2014. Bull. EATCS 114 (2014) - [j20]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546: 63-92 (2014) - [c58]Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli:
On the discriminating power of passivation and higher-order interaction. CSL-LICS 2014: 14:1-14:10 - [c57]Marco Bernardo, Flavio Corradini, Luca Tesei:
Timed process calculi: from durationless actions to durational ones. ICTCS 2014: 21-32 - [c56]Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli:
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. QEST 2014: 281-296 - [e13]Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer:
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Lecture Notes in Computer Science 8483, Springer 2014, ISBN 978-3-319-07316-3 [contents] - 2013
- [j19]Marco Bernardo, Rocco De Nicola, Michele Loreti:
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225: 29-82 (2013) - [c55]Marco Bernardo, Luca Tesei:
Encoding Timed Models as Uniform Labeled Transition Systems. EPEW 2013: 104-118 - [c54]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC 2013: 315-330 - [c53]Marco Bernardo, Rocco De Nicola, Michele Loreti:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013: 81-96 - [e12]Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky:
Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Lecture Notes in Computer Science 7938, Springer 2013, ISBN 978-3-642-38873-6 [contents] - [i1]Marco Bernardo, Rocco De Nicola, Michele Loreti:
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities". CoRR abs/1305.0538 (2013) - 2012
- [c52]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209 - [c51]Marco Bernardo:
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes. QAPL 2012: 122-136 - [e11]Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio:
Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Lecture Notes in Computer Science 7320, Springer 2012, ISBN 978-3-642-30981-6 [contents] - 2011
- [j18]Alessandro Aldini, Marco Bernardo:
Component-oriented verification of noninterference. J. Syst. Archit. 57(3): 282-293 (2011) - [c50]Marco Bernardo, Vittorio Cortellessa, Mirko Flamminj:
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks. EPEW 2011: 265-279 - [c49]Alessandro Aldini, Marco Bernardo, Jeremy Sproston:
Performability Measure Specification: Combining CSRL and MSL. FMICS 2011: 165-179 - [c48]Marco Bernardo:
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. TGC 2011: 89-103 - [c47]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. PACO 2011: 66-75 - [e10]Marco Bernardo, Valérie Issarny:
Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Lecture Notes in Computer Science 6659, Springer 2011, ISBN 978-3-642-21454-7 [contents] - 2010
- [b1]Alessandro Aldini, Marco Bernardo, Flavio Corradini:
A Process Algebraic Approach to Software Architecture Design. Springer 2010, ISBN 978-1-84800-222-7, pp. I-XV, 1-304 - [j17]Marco Bernardo, Edoardo Bontà, Alessandro Aldini:
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. J. Syst. Softw. 83(8): 1404-1429 (2010) - [c46]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56 - [c45]Marco Bernardo:
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions. GANDALF 2010: 199-213 - [e9]Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa:
Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings. Lecture Notes in Computer Science 6342, Springer 2010, ISBN 978-3-642-15783-7 [contents] - [e8]Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky:
Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures. Lecture Notes in Computer Science 6154, Springer 2010, ISBN 978-3-642-13677-1 [contents]
2000 – 2009
- 2009
- [c44]Alessandro Aldini, Marco Bernardo:
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS 2009: 18-33 - [c43]Edoardo Bontà, Marco Bernardo:
PADL2Java: A Java code generator for process algebraic architectural descriptions. WICSA/ECSA 2009: 161-170 - [c42]Marco Bernardo:
Markovian Testing Equivalence and Exponentially Timed Internal Actions. QFM 2009: 13-25 - [c41]Marco Bernardo:
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. QAPL 2009: 3-23 - [e7]Marco Bernardo, Luca Padovani, Gianluigi Zavattaro:
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Lecture Notes in Computer Science 5569, Springer 2009, ISBN 978-3-642-01917-3 [contents] - 2008
- [j16]Marco Bernardo, Stefania Botta:
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems. Math. Struct. Comput. Sci. 18(1): 29-55 (2008) - [c40]Marco Bernardo, Edoardo Bontà:
Non-synchronous Communications in Process Algebraic Architectural Description Languages. ECSA 2008: 3-18 - [c39]Marco Bernardo:
Towards State Space Reduction Based on T-Lumpability-Consistent Relations. EPEW 2008: 64-78 - [c38]Alessandro Aldini, Marco Bernardo:
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. WADS 2008: 228-254 - [e6]Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro:
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures. Lecture Notes in Computer Science 5016, Springer 2008, ISBN 978-3-540-68892-1 [contents] - 2007
- [j15]Marco Bernardo:
Non-bisimulation-based Markovian behavioral equivalences. J. Log. Algebraic Methods Program. 72(1): 3-49 (2007) - [j14]Alessandro Aldini, Marco Bernardo:
A formal approach to the integrated analysis of security and QoS. Reliab. Eng. Syst. Saf. 92(11): 1503-1520 (2007) - [j13]Alessandro Aldini, Marco Bernardo:
Mixing logics and rewards for the component-oriented specification of performance measures. Theor. Comput. Sci. 382(1): 3-23 (2007) - [c37]Marco Bernardo, Luca Padovani:
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. FMOODS 2007: 269-284 - [c36]Marco Bernardo, Alessandro Aldini:
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. ICTCS 2007: 39-56 - [c35]Marco Bernardo:
A Survey of Markovian Behavioral Equivalences. SFM 2007: 180-219 - [e5]Marco Bernardo, Jane Hillston:
Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures. Lecture Notes in Computer Science 4486, Springer 2007, ISBN 978-3-540-72482-7 [contents] - 2006
- [c34]Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer:
Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION 2006: 28-43 - [c33]Marco Bernardo, Stefania Botta:
Modal Logic Characterization of Markovian Testing and Trace Equivalences. LMCS 2006: 7-18 - [c32]Alessandro Aldini, Marco Bernardo:
Component-Oriented Specification of Performance Measures. QAPL 2006: 27-43 - [e4]Marco Bernardo, Alessandro Cimatti:
Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures. Lecture Notes in Computer Science 3965, Springer 2006, ISBN 978-3-540-34304-2 [contents] - 2005
- [j12]Alessandro Aldini, Marco Bernardo:
On the usability of process algebra: An architectural view. Theor. Comput. Sci. 335(2-3): 281-329 (2005) - [c31]Marco Bernardo, Edoardo Bontà:
Preserving Architectural Properties in Multithreaded Code Generation. COORDINATION 2005: 188-203 - [c30]Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi:
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. SFM 2005: 155-189 - [c29]Marco Bernardo:
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. APC 25 2005: 87-99 - [e3]Marco Bernardo, Alessandro Bogliolo:
Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Lecture Notes in Computer Science 3465, Springer 2005, ISBN 3-540-25697-0 [contents] - 2004
- [j11]Marco Bernardo:
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions. ACM Trans. Comput. Log. 5(3): 436-469 (2004) - [c28]Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi:
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. DSN 2004: 731- - [c27]Alessandro Aldini, Marco Bernardo:
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. QEST 2004: 336-337 - [c26]Alessandro Aldini, Marco Bernardo:
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. SAFECOMP 2004: 283-296 - [c25]Marco Bernardo, Edoardo Bontà:
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. WICSA 2004: 167-176 - [e2]Marco Bernardo, Flavio Corradini:
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Lecture Notes in Computer Science 3185, Springer 2004, ISBN 3-540-23068-8 [contents] - 2003
- [j10]Marco Bernardo, Mario Bravetti:
Performance measure sensitive congruences for Markovian process algebras. Theor. Comput. Sci. 290(1): 117-160 (2003) - [c24]Alessandro Aldini, Marco Bernardo:
A General Approach to Deadlock Freedom Verification for Software Architectures. FME 2003: 658-677 - [c23]Marco Bernardo:
TwoTowers 3.0: Enhancing Usability. MASCOTS 2003: 188-193 - [c22]Simonetta Balsamo, Marco Bernardo, Marta Simeoni:
Performance Evaluation at the Software Architecture Level. SFM 2003: 207-258 - [e1]Marco Bernardo, Paola Inverardi:
Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures. Lecture Notes in Computer Science 2804, Springer 2003, ISBN 3-540-20083-5 [contents] - 2002
- [j9]Marco Bernardo, Nadia Busi, Marina Ribaudo:
Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Evaluation 50(2/3): 153-187 (2002) - [j8]Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello:
Architecting families of software systems with process algebras. ACM Trans. Softw. Eng. Methodol. 11(4): 386-426 (2002) - [c21]Marco Bernardo, Francesco Franzè:
Exogenous and Endogenous Extensions of Architectural Types. COORDINATION 2002: 40-55 - [c20]Marco Bernardo, Francesco Franzè:
Architectural Types Revisited: Extensible And/Or Connections. FASE 2002: 113-127 - [c19]Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini:
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. Performance 2002: 236-260 - [c18]Pietro Abate, Marco Bernardo:
A scalable approach to the design of SW architectures with dynamically create/destroyed components. SEKE 2002: 255-262 - [c17]Simonetta Balsamo, Marco Bernardo, Marta Simeoni:
Combining stochastic process algebras and queueing networks for software architecture analysis. Workshop on Software and Performance 2002: 190-202 - 2001
- [j7]Marco Bernardo, Roberto Gorrieri:
Corrigendum to "A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time" - [TCS 202 (1998) 1-54]. Theor. Comput. Sci. 254(1-2): 691-694 (2001) - [j6]Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti:
Comparing the QoS of Internet audio mechanisms via formal methods. ACM Trans. Model. Comput. Simul. 11(1): 1-42 (2001) - [c16]Marco Bernardo:
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services. MASCOTS 2001: 371-378 - [c15]Marco Bernardo, Mario Bravetti:
Reward Based Congruences: Can We Aggregate More? PAPM-PROBMIV 2001: 136-151 - [c14]Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello:
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. WICSA 2001: 77-86 - 2000
- [c13]Marco Bernardo, Rance Cleaveland:
A Theory of Testing for Markovian Processes. CONCUR 2000: 305-319 - [c12]Marco Bernardo:
Implementing Symbolic Models for Value Passing in TwoTowers. Computer Performance Evaluation / TOOLS 2000: 370-373 - [c11]Marco Bernardo, Marina Ribaudo, Nadia Busi:
Compact Net Semantics for Process Algebras. FORTE 2000: 319-334 - [c10]Marco Bernardo, Nadia Busi, Marina Ribaudo:
Integrating Two Towers and GreatSPN. ICALP Satellite Workshops 2000: 551-564 - [c9]Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello:
On the formalization of architectural types with process algebras. SIGSOFT FSE 2000: 140-148 - [c8]Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello:
ÆMPA: a process algebraic description language for the performance analysis of software architectures. Workshop on Software and Performance 2000: 1-11 - [c7]