Proceeding Papers

Copyright Notice: The preprints below are presented to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In all cases, the preprints below may not be reposted without explicit permission of the copyright holder.

74:   E. Bontà, G. Torrisi, and M. Bernardo,

"ChaRLeS: An Open-Source Chat Room Learning System",

to appear in Proc. of the 2nd Italian Conf. on Education, Multimedia and Moodle (EMEM ITALIA 2016),
McGraw-Hill,
Modena (Italy), September 2016.

73:   M. Bernardo and M. Miculan,

"Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems",

in Proc. of the 17th Italian Conf. on Theoretical Computer Science (ICTCS 2016),
V. Bilò and A. Caruso editors,
CEUR-WS 1720:203-220,
Lecce (Italy), September 2016.

72:   A. Aldini and M. Bernardo,

"Expected-Delay-Summing Weak Bisimilarity for Markov Automata",

in Proc. of the 13th Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015),
N. Bertrand and M. Tribastone editors,
Open Publishing Association, EPTCS 194:1-15,
London (UK), April 2015.

71:   M. Bernardo, F. Corradini, and L. Tesei,

"Timed Process Calculi: From Durationless Actions to Durational Ones",

in Proc. of 15th Italian Conf. on Theoretical Computer Science (ICTCS 2014),
S. Bistarelli and A. Formisano editors,
CEUR-WS 1231:21-32,
Perugia (Italy), September 2014.

70:   M. Bernardo, D. Sangiorgi, and V. Vignudelli,

"On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems",

in Proc. of 11th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2014),
G. Norman and W. Sanders editors,
Springer, LNCS 8657:281-296,
Firenze (Italy), September 2014.

69:   M. Bernardo, D. Sangiorgi, and V. Vignudelli,

"On the Discriminating Power of Passivation and Higher-Order Interaction",

in Proc. of the Joint Meeting of the 23rd EACSL Conf. on Computer Science Logic and the 29th ACM/IEEE Symp. on Logic in Computer Science (CSL/LICS 2014),
T. Henzinger and D. Miller editors,
ACM Press, article 14:80, pp. 1-10,
Vienna (Austria), July 2014.

68:   M. Bernardo and L. Tesei,

"Encoding Timed Models as Uniform Labeled Transition Systems",

in Proc. of the 10th European Performance Engineering Workshop (EPEW 2013),
M.S. Balsamo, W.J. Knottenbelt, and A. Marin editors,
Springer, LNCS 8168:104-118,
Venezia (Italy), September 2013.

67:   M. Bernardo, R. De Nicola, and M. Loreti,

"Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations",

in Proc. of the 8th Int. Symp. on Trustworthy Global Computing (TGC 2013),
M. Abadi and A. Lluch Lafuente editors,
Springer, LNCS 8358:315-330,
Buenos Aires (Argentina), August 2013.

66:   M. Bernardo, R. De Nicola, and M. Loreti,

"The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes",

in Proc. of the 11th Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013),
L. Bortolussi and H. Wiklicky editors,
Open Publishing Association, EPTCS 117:81-96,
Roma (Italy), March 2013.

65:   M. Bernardo,

"Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes",

in Proc. of the 10th Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012),
M. Massink and H. Wiklicky editors,
Open Publishing Association, EPTCS 85:122-136,
Tallinn (Estonia), April 2012.

64:   M. Bernardo, R. De Nicola, and M. Loreti,

"Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes",

in Proc. of the 15th Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2012),
L. Birkedal editor,
Springer, LNCS 7213:195-209,
Tallinn (Estonia), March 2012.

63:   M. Bernardo, V. Cortellessa, and M. Flamminj,

"TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks",

in Proc. of the 8th European Performance Engineering Workshop (EPEW 2011),
N. Thomas editor,
Springer, LNCS 6977:265-279,
Borrowdale (UK), October 2011.

62:   M. Bernardo,

"Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes",

in Proc. of the 6th Int. Symp. on Trustworthy Global Computing (TGC 2011),
R. Bruni and V. Sassone editors,
Springer, LNCS 7173:89-103,
Aachen (Germany), September 2011.

61:   A. Aldini, M. Bernardo, and J. Sproston,

"Performability Measure Specification: Combining CSRL and MSL",

in Proc. of the 16th ERCIM Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011),
G. Salaün and B. Schätz editors,
Springer, LNCS 6959:165-179,
Trento (Italy), August 2011.

60:   M. Bernardo, R. De Nicola, and M. Loreti,

"Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi",

in Proc. of the 1st Int. Workshop on Process Algebra and Coordination (PACO 2011),
L. Aceto and M.R. Mousavi editors,
Open Publishing Association, EPTCS 60:66-75,
Reykjavik (Iceland), June 2011.

59:   M. Bernardo,

"On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions",

in Proc. of the 1st Int. Symp. on Games, Automata, Logics and Formal Verification (GANDALF 2010),
A. Montanari, M. Napoli, and D. Parente editors,
Open Publishing Association, EPTCS 25:199-213,
Minori (Italy), June 2010.

58:   M. Bernardo, R. De Nicola, and M. Loreti,

"Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes",

in Proc. of the 5th Int. Symp. on Trustworthy Global Computing (TGC 2010),
M. Wirsing, M. Hofmann, and A. Rauschmayer editors,
Springer, LNCS 6084:35-56,
Munich (Germany), February 2010.

57:   M. Bernardo,

"Markovian Testing Equivalence and Exponentially Timed Internal Actions",

in Proc. of the 1st Int. Workshop on Quantitative Formal Methods (QFM 2009),
S. Andova, A. McIver, P. D'Argenio, P. Cuijpers, J. Markovski, C. Morgan, and M. Nuñez editors,
Open Publishing Association, EPTCS 13:13-25,
Eindhoven (The Netherlands), November 2009.

56:   E. Bontà and M. Bernardo,

"PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions",

in Proc. of the 1st Joint Working IEEE/IFIP Conf. on Software Architecture and European Conf. on Software Architecture (WICSA/ECSA 2009),
R. Kazman, F. Oquendo, E. Poort, and J. Stafford editors,
IEEE-CS Press, pp. 161-170,
Cambridge (UK), September 2009.

55:   A. Aldini and M. Bernardo,

"A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference",

in Proc. of the 1st Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA/WITS 2009),
P. Degano and L. Viganò editors,
Springer, LNCS 5511:18-33,
York (UK), March 2009.

54:   M. Bernardo,

"Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes",

in Proc. of the 7th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2009),
C. Baier and A. Di Pierro editors,
Elsevier, ENTCS 253(3):3-23,
York (UK), March 2009.

53:   M. Bernardo and E. Bontà,

"Non-Synchronous Communications in Process Algebraic Architectural Description Languages",

in Proc. of the 2nd European Conf. on Software Architecture (ECSA 2008),
R. Morrison, D. Balasubramaniam, and K. Falkner editors,
Springer, LNCS 5292:3-18,
Paphos (Cyprus), October 2008.

52:   M. Bernardo,

"Towards State Space Reduction Based on T-Lumpability-Consistent Relations",

in Proc. of the 5th European Performance Engineering Workshop (EPEW 2008),
N. Thomas and C. Juiz editors,
Springer, LNCS 5261:64-78,
Palma de Mallorca (Spain), September 2008.

51:   M. Bernardo and A. Aldini,

"Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions",

in Proc. of the 10th Italian Conf. on Theoretical Computer Science (ICTCS 2007),
G.F. Italiano, E. Moggi, and L. Laura editors,
World Scientific, pp. 39-56,
Roma (Italy), October 2007.

50:   M. Bernardo and L. Padovani,

"Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders",

in Proc. of the 9th IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007),
M.M. Bonsangue and E.B. Johnsen editors,
Springer, LNCS 4468:269-284,
Paphos (Cyprus), June 2007.

49:   E. Bontà, M. Bernardo, J. Magee, and J. Kramer,

"Synthesizing Concurrency Control Components from Process Algebraic Specifications",

in Proc. of the 8th Int. Conf. on Coordination Models and Languages (COORDINATION 2006),
P. Ciancarini and H. Wiklicky editors,
Springer, LNCS 4038:28-43,
Bologna (Italy), June 2006.

48:   M. Bernardo and S. Botta,

"Modal Logic Characterization of Markovian Testing and Trace Equivalences",

in Proc. of the 1st Int. Workshop on Logic, Models and Computer Science (LMCS 2006),
F. Corradini and C. Toffalori editors,
Elsevier, ENTCS 169:7-18,
Camerino (Italy), April 2006.

47:   A. Aldini and M. Bernardo,

"Component-Oriented Specification of Performance Measures",

in Proc. of the 4th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2006),
A. Di Pierro and H. Wiklicky editors,
Elsevier, ENTCS 164(3):27-43,
Vienna (Austria), April 2006.

46:   M. Bernardo, A. Bogliolo, A. Acquaviva, A. Aldini, E. Bontà, and E. Lattanzi,

"Predicting the Functional/Performance Impact of Dynamic Power Management",

in Proc. of the 7th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 7),
pp. 10-13,
Torino (Italy), September 2005.

45:   M. Bernardo,

"Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity",

in Proc. of the Int. Workshop on Essays on Algebraic Process Calculi (APC 25),
L. Aceto and A.D. Gordon editors,
Elsevier, ENTCS 162:87-99,
Bertinoro (Italy), August 2005.

44:   M. Bernardo and E. Bontà,

"Preserving Architectural Properties in Multithreaded Code Generation",

in Proc. of the 7th Int. Conf. on Coordination Models and Languages (COORDINATION 2005),
J.-M. Jacquet and G.P. Picco editors,
Springer, LNCS 3454:188-203,
Namur (Belgium), April 2005.

43:   A. Aldini and M. Bernardo,

"TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation",

in Proc. of the 1st Int. Conf. on the Quantitative Evaluation of Systems (QEST 2004),
IEEE-CS Press, pp. 336-337
Enschede (The Netherlands), September 2004.

42:   A. Aldini and M. Bernardo,

"An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth",

in Proc. of the 23rd Int. Conf. on Computer Safety, Reliability, and Security (SAFECOMP 2004),
M. Heisel, P. Liggesmeyer, and S. Wittmann editors,
Springer, LNCS 3219:283-296,
Potsdam (Germany), September 2004.

41:   A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, and E. Lattanzi,

"Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances",

in Proc. of the 5th IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2004),
IEEE-CS Press, pp. 731-740,
Firenze (Italy), June 2004.

40:   M. Bernardo and E. Bontà,

"Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions",

in Proc. of the 4th Working IEEE/IFIP Conf. on Software Architecture (WICSA 2004),
J. Magee, C. Szyperski, and J. Bosch editors,
IEEE-CS Press, pp. 167-176
Oslo (Norway), June 2004.

39:   M. Bernardo,

"TwoTowers 3.0: Enhancing Usability",

in Proc. of the 11th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2003),
IEEE-CS Press, pp. 188-193,
Orlando (FL), October 2003.

38:   A. Aldini and M. Bernardo,

"A General Approach to Deadlock Freedom Verification for Software Architectures",

in Proc. of the 12th Int. Formal Methods Europe Symp. (FME 2003),
K. Araki, S. Gnesi, and D. Mandrioli editors,
Springer, LNCS 2805:658-677,
Pisa (Italy), September 2003.

37:   S. Balsamo, M. Bernardo, and M. Simeoni,

"Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis",

in Proc. of the 3rd Int. Workshop on Software and Performance (WOSP 2002),
ACM Press, pp. 190-202,
Roma (Italy), July 2002.

36:   P. Abate and M. Bernardo,

"A Scalable Approach to the Design of SW Architectures with Dynamically Created/Destroyed Components",

in Proc. of the 14th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2002),
ACM Press, pp. 255-262,
S. Angelo d'Ischia (Italy), July 2002.

35:   M. Bernardo and F. Franzè,

"Exogenous and Endogenous Extensions of Architectural Types",

in Proc. of the 5th Int. Conf. on Coordination Models and Languages (COORDINATION 2002),
F. Arbab and C. Talcott editors,
Springer, LNCS 2315:40-55,
York (UK), April 2002.

34:   M. Bernardo and F. Franzè,

"Architectural Types Revisited: Extensible And/Or Connections",

in Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002),
R.-D. Kutsche and H. Weber editors,
Springer, LNCS 2306:113-128,
Grenoble (France), April 2002.

33:   M. Bernardo and M. Bravetti,

"Reward Based Congruences: Can We Aggregate More?",

in Proc. of the Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM/PROBMIV 2001),
L. de Alfaro and S. Gilmore editors,
Springer, LNCS 2165:136-151,
Aachen (Germany), September 2001.

32:   M. Bernardo, P. Ciancarini, and L. Donatiello,

"Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems",

in Proc. of the 2nd Working IEEE/IFIP Conf. on Software Architecture (WICSA 2001),
R. Kazman, P. Kruchten, C. Verhoef, and H. van Vliet editors,
IEEE-CS Press, pp. 77-86,
Amsterdam (The Netherlands), August 2001.

31:   M. Bernardo,

"A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services",

in Proc. of the 9th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2001),
IEEE-CS Press, pp. 371-378,
Cincinnati (OH), August 2001.

30:   M. Bernardo, P. Ciancarini, and L. Donatiello,

"On the Formalization of Architectural Types with Process Algebras",

in Proc. of the 8th ACM Int. Symp. on the Foundations of Software Engineering (FSE 8),
D.S. Rosenblum editor,
ACM Press, pp. 140-148,
San Diego (CA), November 2000.

29:   M. Bernardo, N. Busi, and M. Ribaudo,

"Compact Net Semantics for Process Algebras",

in Proc. of the IFIP Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV 2000),
T. Bolognesi and D. Latella editors,
Kluwer, pp. 319-334,
Pisa (Italy), October 2000.

28:   M. Bernardo, P. Ciancarini, and L. Donatiello,

"ÆMPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures",

in Proc. of the 2nd Int. Workshop on Software and Performance (WOSP 2000),
ACM Press, pp. 1-11,
Ottawa (Canada), September 2000.

27:   M. Bravetti and M. Bernardo,

"Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time",

in Proc. of the 1st Int. Workshop on Models for Time Critical Systems (MTCS 2000),
F. Corradini and P. Inverardi editors,
Elsevier, ENTCS 39(3):197-230,
State College (PA), August 2000.

26:   M. Bernardo and R. Cleaveland,

"A Theory of Testing for Markovian Processes",

in Proc. of the 11th Int. Conf. on Concurrency Theory (CONCUR 2000),
C. Palamidessi editor,
Springer, LNCS 1877:305-319,
State College (PA), August 2000.

25:   M. Bernardo, N. Busi, and M. Ribaudo,

"Integrating TwoTowers and GreatSPN",

in Proc. of the 8th Int. Workshop on Process Algebras and Performance Modelling (PAPM 2000),
J.D.P. Rolim, A.Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, and J.B. Wells editors,
Carleton Scientific, pp. 551-563,
Geneva (Switzerland), July 2000.

24:   M. Bernardo, P. Ciancarini, and L. Donatiello,

"Performance Evaluation of Software Architectural Types: A Process Algebraic Approach",

in Proc. of the Monterey Workshop on Modelling Software System Structures in a Fastly Moving Scenario (MSSS 2000),
pp. 32-37,
S. Margherita Ligure (Italy), June 2000.

23:   M. Bernardo,

"Implementing Symbolic Models for Value Passing in TwoTowers",

in Proc. of the 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (PERFORMANCE TOOLS 2000),
B.R. Haverkort, H.C. Bohnenkamp, and C.U. Smith editors,
Springer, LNCS 1786:370-373,
Schaumburg (IL), March 2000.

22:   A. Aldini, M. Bernardo, R. Gorrieri, and M. Roccetti,

"A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods",

in Proc. of the 11th European Simulation Symp. (ESS 1999),
G. Horton, D. Möller, and U. Rüde editors,
SCS International, pp. 281-288,
Erlangen (Germany), October 1999.

21:   A. Aldini, M. Bernardo, R. Gorrieri, and M. Roccetti,

"Stochastic Process Algebras for the Analysis of Internet Protocols",

in Proc. of the 4th Workshop on Distributed Systems: Algorithms, Architectures and Languages (WSDAAL 1999),
B. Ciciani, P. Inverardi, and U. Vaccaro editors,
pp. 6-7,
Fonte Cerreto (Italy), September 1999.

20:   A. Aldini, M. Bernardo, and R. Gorrieri,

"An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking",

in Proc. of the 7th Int. Workshop on Process Algebras and Performance Modelling (PAPM 1999),
J. Hillston and M. Silva editors,
Prensas Universitarias de Zaragoza, pp. 119-138,
Zaragoza (Spain), September 1999.

19:   M. Bernardo and M. Bravetti,

"Functional and Performance Modeling and Analysis of Token Ring Using EMPA",

in Proc. of the 6th Italian Conf. on Theoretical Computer Science (ICTCS 1998),
P. Degano, U. Vaccaro, and G. Pirillo editors,
World Scientific, pp. 204-215,
Prato (Italy), November 1998.

18:   M. Bernardo, R. Cleaveland, S.T. Sims, and W.J. Stewart,

"TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems",

in Proc. of the IFIP Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (FORTE/PSTV 1998),
S. Budkowski, A. Cavalli, and E. Najm editors,
Kluwer, pp. 457-467,
Paris (France), November 1998.

17:   M. Roccetti, M. Bernardo, and R. Gorrieri,

"Packetized Audio for Industrial Applications: A Simulation Study",

in Proc. of the 10th European Simulation Symp. (ESS 1998),
A. Bargiela and E. Kerckhoffs editors,
SCS International, pp. 495-500,
Nottingham (UK), October 1998.

16:   M. Bravetti, M. Bernardo, and R. Gorrieri,

"A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equivalence",

in Proc. of the 6th Int. Workshop on Process Algebras and Performance Modelling (PAPM 1998),
C. Priami editor,
pp. 153-164,
Nice (France), September 1998.

15:   M. Bravetti, M. Bernardo, and R. Gorrieri,

"Towards Performance Evaluation with General Distributions in Process Algebras",

in Proc. of the 9th Int. Conf. on Concurrency Theory (CONCUR 1998),
D. Sangiorgi and R. de Simone editors,
Springer, LNCS 1466:405-422,
Nice (France), September 1998.

14:   M. Bernardo,

"Using EMPA for the Performance Evaluation of an ATM Switch",

in Proc. of the 3rd ERCIM Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998),
J.F. Groote, B. Luttik, and J. van Wamel editors,
CWI, pp. 43-57,
Amsterdam (The Netherlands), May 1998.

13:   M. Bernardo,

"An Algebra-Based Method to Associate Rewards with EMPA Terms",

in Proc. of the 24th Int. Coll. on Automata, Languages and Programming (ICALP 1997),
P. Degano, R. Gorrieri, and A. Marchetti Spaccamela editors,
Springer, LNCS 1256:358-368,
Bologna (Italy), July 1997.

12:   M. Bernardo,

"Two Exercises with EMPA: Computing the Utilization of the CSMA/CD Protocol and Assessing the Performability of a Queueing System",

in Proc. of the 2nd ERCIM Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS 1997),
S. Gnesi and D. Latella editors,
pp. 5-17,
Cesena (Italy), July 1997.

11:   M. Bravetti, M. Bernardo, and R. Gorrieri,

"From EMPA to GSMPA: Allowing for General Distributions",

in Proc. of the 5th Int. Workshop on Process Algebras and Performance Modelling (PAPM 1997),
E. Brinksma and A. Nymeyer editors,
pp. 17-33,
Enschede (The Netherlands), June 1997.

10:   M. Bernardo,

"Enriching EMPA with Value Passing: A Symbolic Approach Based on Lookahead",

in Proc. of the 5th Int. Workshop on Process Algebras and Performance Modelling (PAPM 1997),
E. Brinksma and A. Nymeyer editors,
pp. 35-49,
Enschede (The Netherlands), June 1997.

09:   M. Bernardo,

"A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems",

in Proc. of the Annual Conf. of the Italian Society for Computer Simulation (ISCS 1996),
pp. 146-151,
Roma (Italy), December 1996.

08:   M. Bernardo, L. Donatiello, and R. Gorrieri,

"A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol",

in Proc. of the 11th Int. Symp. on Computer and Information Sciences (ISCIS XI),
V. Atalay, U. Halici, K. Inan, N. Yalabik, and A. Yazici editors,
METU, pp. 375-384,
Antalya (Turkey), November 1996.

07:   M. Bernardo and R. Gorrieri,

"Extended Markovian Process Algebra",

in Proc. of the 7th Int. Conf. on Concurrency Theory (CONCUR 1996),
U. Montanari and V. Sassone editors,
Springer, LNCS 1119:315-330,
Pisa (Italy), August 1996.

06:   M. Bernardo,

"On the Coexistence of Exponential, Immediate and Passive Actions in EMPA",

in Proc. of the 4th Int. Workshop on Process Algebras and Performance Modelling (PAPM 1996),
M. Ribaudo editor,
CLUT, pp. 58-76,
Torino (Italy), July 1996.

05:   M. Bernardo, L. Donatiello, and R. Gorrieri,

"Integrated Functional and Performance Analyses of Concurrent Distributed Systems Described with the Language EMPA",

in Proc. of the 1st Workshop on Distributed Systems: Algorithms, Architectures and Languages (WSDAAL 1996),
A. Bertossi, M. Bonucelli, and R. De Nicola editors,
pp. 5-6,
Levico (Italy), June 1996.

04:   M. Bernardo,

"Extended Markovian Process Algebra: A Case Study",

in Proc. of the 5th Italian Conf. on Theoretical Computer Science (ICTCS 1995),
A. De Santis editor,
World Scientific, pp. 466-481,
Ravello (Italy), November 1995.

03:   M. Bernardo, L. Donatiello, and R. Gorrieri,

"Giving a Net Semantics to Markovian Process Algebra",

in Proc. of the 6th Int. Workshop on Petri Nets and Performance Models (PNPM 1995),
IEEE-CS Press, pp. 169-178,
Durham (NC), October 1995.

02:   M. Bernardo, L. Donatiello, and R. Gorrieri,

"Integrated Analysis of Concurrent Distributed Systems Using Markovian Process Algebra",

in Proc. of the 7th Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE 1994),
D. Hogrefe and S. Leue editors,
Chapman & Hall, pp. 455-457,
Berne (Switzerland), October 1994.

01:   M. Bernardo, L. Donatiello, and R. Gorrieri,

"Modeling and Analyzing Concurrent Systems with MPA",

in Proc. of the 2nd Int. Workshop on Process Algebras and Performance Modelling (PAPM 1994),
U. Herzog and M. Rettelbach editors,
pp. 175-189,
Erlangen (Germany), July 1994.